Geeks
FernandoChu
/
agda-2LTT
A 2LTT library for Agda
Primary Language
Python
agda-2LTT GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
A 2LTT library (WIP).