Geeks
acallesalda
/
setform
Set Theory Formalization in Agda
Primary Language
Agda
MIT License
MIT
setform GitHub
Markdown
Readme
2
Issues
7
Stargazers
2
Watchers
Watchers
asr
jhcloos