libtptp
| Crates.io | libtptp |
| lib.rs | libtptp |
| version | 0.0.0 |
| created_at | 2022-04-01 21:46:19.986373+00 |
| updated_at | 2022-04-01 21:46:19.986373+00 |
| description | Thousands of Problems for Theorem Provers (TPTP) Library |
| homepage | https://casm-lang.org/ |
| repository | https://github.com/casm-lang/libtptp/ |
| max_upload_size | |
| id | 560538 |
| size | 42,556 |
Philipp Paulweber (ppaulweber)