trivial-compiler
| Crates.io | trivial-compiler |
| lib.rs | trivial-compiler |
| version | 0.3.0 |
| created_at | 2021-03-04 13:24:20.025271+00 |
| updated_at | 2021-03-04 13:25:17.771959+00 |
| description | The Trivial compiler framework for Metamath Zero binary proofs |
| homepage | |
| repository | |
| max_upload_size | |
| id | 363709 |
| size | 7,260 |
Ivo Wingelaar (IvoWingelaar)