8 releases (breaking)
| 0.8.0 | Mar 4, 2021 |
|---|---|
| 0.7.0 | Mar 4, 2021 |
| 0.6.0 | Mar 4, 2021 |
| 0.5.0 | Mar 4, 2021 |
| 0.1.0 | Mar 4, 2021 |
#3 in #metamath-zero
22KB
594 lines
The Trivial proof verifier - an interface to the Metamath Zero kernel
Dependencies
~1MB
~18K SLoC