An open API service indexing awesome lists of open source software.

https://github.com/trivial-rs/verifier

The Trivial proof verifier - an interface to the Metamath Zero kernel
https://github.com/trivial-rs/verifier

Last synced: 26 days ago
JSON representation

The Trivial proof verifier - an interface to the Metamath Zero kernel

Awesome Lists containing this project