Geeks
iitalics
/
AgdaStuff
Agda Proofs and Experiments
Primary Language
Agda
AgdaStuff GitHub
Markdown
Readme
0
Issues
3
Stargazers
4
Watchers
This repository is not active