anka-213 / LTL-Agda

Implementation based off Huth & Ryan's LOGIC IN COMPUTER SCIENCE

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

anka-213/LTL-Agda Issues

No issues in this repository yet.