Shari the prover
Statistics for this project are still being loaded, please check back later.
A next-gen functional language
First-order logic theorem prover supporting unification with approximate vector similarity
Minimal Prolog implemented in Rust
Connection provers in Rust
A SAT solver written in Rust