Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/Dacit/sequent_prover
https://github.com/Dacit/sequent_prover
Last synced: 1 day ago
JSON representation
- Host: GitHub
- URL: https://github.com/Dacit/sequent_prover
- Owner: Dacit
- Created: 2018-04-26T07:21:24.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2018-05-09T15:55:19.000Z (over 6 years ago)
- Last Synced: 2024-05-22T20:31:51.995Z (6 months ago)
- Language: Rust
- Size: 24.4 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - Sequent solver - simple sequent solver. (Projects / Provers and Solvers)
README
# Sequent solver
This is a simple sequent solver, implemented in rust.
Usage:
* `cargo run` to get cmd-line interface. Expressions must be written as: `F, T => G, D`. Syntax:
* `-F` logical not
* `F | G` logical or
* `F & G` logical and
* `F > G` logical implication
* `0`,`1` for true and false
* `cargo test` to run all tests.