Geeks
felipeperet
/
logic
An adventure on formalizing logics using the Agda programming language
Primary Language
Agda
logic GitHub
Markdown
Readme
0
Issues
9
Stargazers
2
Watchers
Watchers
jhcloos
MikeLeberle