Geeks
iitalics
/
AgdaStuff
Agda Proofs and Experiments
Primary Language
Agda
AgdaStuff GitHub
Markdown
Readme
0
Issues
3
Stargazers
4
Watchers
Stargazers
AlexKnauth
funct1onal
TrigDevelopment
ImplicationInc