A toy proof verifier for Peano-arithmetic written in C.
This verifier is built upon the idea of the Peano axioms.
The parser is built using flex and GNU bison which need to be installed.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A toy proof verifier for Peano-arithmetic written in C.
This verifier is built upon the idea of the Peano axioms.
The parser is built using flex and GNU bison which need to be installed.