Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/MichaelRawson/tptp
Crate for reading TPTP files.
https://github.com/MichaelRawson/tptp
Last synced: 1 day ago
JSON representation
Crate for reading TPTP files.
- Host: GitHub
- URL: https://github.com/MichaelRawson/tptp
- Owner: MichaelRawson
- Created: 2018-09-17T21:32:38.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2022-05-11T15:36:17.000Z (over 2 years ago)
- Last Synced: 2024-05-22T20:34:36.933Z (6 months ago)
- Language: Rust
- Size: 558 KB
- Stars: 11
- Watchers: 1
- Forks: 3
- Open Issues: 0
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - tptp - parse the TPTP format. (Projects / Libraries)