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