trivial-verifier
| Crates.io | trivial-verifier |
| lib.rs | trivial-verifier |
| version | 0.8.0 |
| source | src |
| created_at | 2021-03-04 13:47:53.336986 |
| updated_at | 2021-03-04 13:49:18.698366 |
| description | The Trivial proof verifier - an interface to the Metamath Zero kernel |
| homepage | |
| repository | |
| max_upload_size | |
| id | 363714 |
| size | 21,786 |
Ivo Wingelaar (IvoWingelaar)