Top 3 prover open source projects

Cicada Language

✭ 9

typescript repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory

awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

✭ 185

logic theorem-proving formal-verification prover automated-theorem-provers reasoning theorem-prover constructive-mathematics proof-assistants

pyprover

Resolution theorem proving for predicate logic in pure Python.

✭ 71

python Makefile theorem-proving first-order-logic prover coconut theorem-prover

1-3 of 3 prover projects