Geeks
sequents
/
code
Proof theory seminar
Primary Language
Idris
code GitHub
Markdown
Readme
0
Issues
31
Stargazers
7
Watchers
No issues in this repository yet.