Geeks
mk12
/
spa
Simple Proof Assistant: helps you prove theorems.
Primary Language
C++
MIT License
MIT
spa GitHub
Markdown
Readme
2
Issues
2
Stargazers
2
Watchers
Issues
Open issue
Implement equality of objects
#2 opened
9 years ago
by
mk12
0
Open issue
Model quantified sentences properly
#1 opened
9 years ago
by
mk12
0