Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/philzook58/res-rs
https://github.com/philzook58/res-rs
Last synced: 6 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/philzook58/res-rs
- Owner: philzook58
- Created: 2022-10-14T20:09:39.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2023-12-04T15:52:29.000Z (12 months ago)
- Last Synced: 2024-09-19T02:06:44.265Z (about 2 months ago)
- Language: Rust
- Size: 17.6 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - res-rs - first bits for first-order logic prover. (Projects / Provers and Solvers)
README
# res-rs
[PyRes](https://github.com/eprover/PyRes)
[Paper](https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324010/)
[tptp parser](https://github.com/MichaelRawson/tptp)