https://github.com/Dacit/sequent_prover

https://github.com/Dacit/sequent_prover

Last synced: 3 months 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.