metacat-cli
| Crates.io | metacat-cli |
| lib.rs | metacat-cli |
| version | 0.1.0 |
| created_at | 2026-01-08 14:15:41.302504+00 |
| updated_at | 2026-01-08 14:15:41.302504+00 |
| description | metacat: a categorical theorem prover |
| homepage | |
| repository | https://github.com/statusfailed/metacat |
| max_upload_size | |
| id | 2030294 |
| size | 34,981 |
Paul Wilson (statusfailed)
documentation
https://docs.rs/metacat