Geeks
wrrnhttn
/
agda-sdg
Basic SIA and SDG in Agda
Primary Language
Agda
MIT License
MIT
agda-sdg GitHub
Markdown
Readme
1
Issue
1
Stargazer
1
Watcher
Issues
Open issue
Rewrite tedious proofs with ring solver.
#1 opened
5 years ago
1