Geeks
bhargavkulk
/
nat-deduct
A Natural Deduction proof checker
Primary Language
Yacc
MIT License
MIT
nat-deduct GitHub
Markdown
Readme
2
Issues
0
Stargazers
2
Watchers
Issues
Open issue
Add support to serialize error messages in a data format like JSON or YAML.
#2 opened
3 years ago
0
Open issue
Add support for multiple theorems, and to allow instantiation of checked theorems in proofs
#1 opened
3 years ago
0