All Categories → No Category → theorem-prover

Top 10 theorem-prover open source projects

A modern proof language

✭ 2,075

javascript scheme haskell Nix HTML Makefile functional-programming lambda-calculus type-theory theorem-prover formality moonad proof-language proof-languages

A language-generic implementation of equality saturation in Haskell

✭ 15

haskell TeX compiler optimization theorem-prover equality-saturation term-indexing

A Declarative Theorem Prover for First-Order Classical Logic

✭ 24

scheme clojure minikanren theorem-prover

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

✭ 23

prolog type-inference theorem-prover beta-reduction intuitionistic-logic curry-howard-isomorphism lambda-terms random-binary-tree random-set-partition tautology-checking de-bruijn-notation all-binary-trees-generator all-set-partitions-gnerator remy-s-algorithm knuth-s-algorithm-r boltzmann-sampler normal-forms

🧊 Модальний Гомотопічний Прувер

✭ 5

Pug ocaml cubical-type-theory type-system theorem-prover type-checker mltt

Cicada Language

✭ 9

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

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

✭ 34

haskell theorem-prover sequent-calculus wang-algorithm

An SMT Solver for string constraints

✭ 18

scala SMT shell strings theorem-proving regular-expressions smt-solver theorem-prover

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

Resolution theorem proving for predicate logic in pure Python.

✭ 71

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

1-10 of 10 theorem-prover projects