GitHub repository: wmacmil/LTL-Agda
Primary language: Agda
Created: 2021-12-01T14:09:44Z
Description: Implementation based off Huth & Ryan's LOGIC IN COMPUTER SCIENCE