Geeks
LaltonDundy
/
IdrisProofs
ExampleProofs using Idris’s Elaborator and Pruviloj
Primary Language
Idris
IdrisProofs GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Stargazers
RaoulSchaffranek
wolverian
Helsinki, Finland
andylokandy
Guangzhou, China