https://github.com/boitsov14/theorem-prover-rs

Rust rewrite of theorem-prover-kt.
https://github.com/boitsov14/theorem-prover-rs

Last synced: 3 months ago
JSON representation

Rust rewrite of theorem-prover-kt.

• Host: GitHub
• URL: https://github.com/boitsov14/theorem-prover-rs
• Owner: boitsov14
• License: mit
• Created: 2023-08-28T11:10:58.000Z (about 1 year ago)
• Default Branch: dev
• Last Pushed: 2024-05-22T11:05:05.000Z (6 months ago)
• Last Synced: 2024-05-22T16:50:11.176Z (6 months ago)
• Language: Rust
• Homepage:
• Size: 499 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - theorem-prover-rs - rewrite of [theorem-prover-kt](https://github.com/boitsov14/theorem-prover-kt) a sequent-style automated theorem prover. (Projects / Provers and Solvers)

README

        
# theorem-prover-rs (WIP)

## Description

Rust rewrite of [theorem-prover-kt](https://github.com/boitsov14/theorem-prover-kt).

## References

- [Build Your Own First-Order Prover](http://jens-otten.de/tutorial_cade19)

- [mAarnos/Serkr](https://github.com/mAarnos/Serkr)

- [stepchowfun/theorem-prover](https://github.com/stepchowfun/theorem-prover)

- [qnighy/ipc_solver](https://github.com/qnighy/ipc_solver)

- [qnighy/logic-solver-rs](https://github.com/qnighy/logic-solver-rs)

- [varqox/prover](https://github.com/varqox/prover)