Geeks
hatsugai
/
Geta
Simple proof checker for equational logic
Primary Language
Scheme
MIT License
MIT
Geta GitHub
Markdown
Readme
0
Issues
5
Stargazers
3
Watchers
Watchers
kensh
hatsugai
eemailme