|
|
Python |
213 |
An automated theorem prover for first-order logic. |
Aug 02, 2022 |
|
|
Scheme |
26 |
A Declarative Theorem Prover for First-Order Classical Logic |
Apr 09, 2023 |
|
|
Rust |
27 |
A fast, brute force, automatic theorem prover for first order logic |
Jul 13, 2022 |
|
|
Haskell |
14 |
Paradox model finder and equinox theorem prover for first-order logic. |
Jun 15, 2022 |
|
|
Rust |
6 |
First-order logic theorem prover supporting unification with approximate vector similarity |
Apr 30, 2023 |
|
|
Haskell |
4 |
A theorem prover for intuitionistic propositional logic |
Mar 26, 2023 |
|
|
Kotlin |
3 |
A sequent-style automated theorem prover for first-order predicate logic in Kotlin |
Sep 22, 2022 |
|
|
TeX |
7 |
Linear logic theorem prover and proof explorer |
Jul 08, 2019 |
|
|
Prolog |
2 |
A description logic reasoner written in prolog based on leanCoP, a theorem prover for first-order … |
Jun 20, 2015 |
|
|
Go |
2 |
A first-order concurrent automated theorem prover |
Feb 19, 2022 |
|
|
OCaml |
3 |
Automated theorem prover for propositional logic. Written in OCaml. |
Jan 06, 2023 |
|
|
Haskell |
12 |
An automatic first-order theorem prover in Haskell |
May 29, 2019 |
|
|
OCaml |
9 |
First-order automated theorem prover based on the tableau method |
May 11, 2023 |
|
|
C++ |
7919 |
The Z3 Theorem Prover |
Aug 29, 2022 |
|
|
Scala |
10 |
The Princess Theorem Prover |
Mar 19, 2023 |
|
|
C++ |
207 |
The Vampire Theorem Prover |
May 03, 2023 |
|
|
C++ |
2 |
The Z3 Theorem Prover |
Oct 29, 2022 |
|
|
TeX |
2 |
Documentation for the KeY Theorem Prover |
Feb 18, 2024 |
|
|
Python |
13 |
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with … |
Apr 10, 2023 |
|
|
Rust |
3 |
The Supervisionary proof-checking kernel for higher-order logic |
Sep 23, 2022 |
|
|
Lean |
27 |
LLVM support for the lean theorem prover |
Mar 13, 2023 |
|
|
None |
2 |
Reference manual for the Lean theorem prover |
Feb 02, 2021 |
|
|
HTML |
21 |
Nim binding for the Z3 theorem prover |
Sep 01, 2021 |
|
|
Lua |
91 |
neovim support for the Lean theorem prover |
Aug 16, 2022 |
|
|
C |
20 |
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for … |
May 10, 2023 |
|
|
JavaScript |
3 |
The website for STP, the Simple Theorem Prover |
Aug 07, 2022 |
|
|
Rust |
4 |
🎼 Translate answer set programs to first-order theorem prover language |
Sep 22, 2020 |
|
|
OCaml |
11 |
[wip] Proof format and checker for first-order and higher-order theorem provers |
Mar 29, 2023 |
|
|
SMT |
3 |
Book for Quip, a proof format for first-order and higher-order theorem provers |
Mar 02, 2023 |
|
|
Haskell |
52 |
Reference type checker for the Lean theorem prover |
Apr 08, 2022 |
|
|
None |
9 |
Links to recourses for the Lean Theorem Prover |
Mar 16, 2023 |
|
|
Vim script |
13 |
Lean Theorem Prover plugin for Vim. |
Nov 30, 2022 |
|
|
Ruby |
4 |
Web Interface for hemera theorem prover |
Jan 28, 2023 |
|
|
Python |
5 |
Theorem Prover for Lambek-Grishin Calculus |
Apr 13, 2023 |
|
|
Python |
18 |
Python talking to the Lean theorem prover |
Aug 25, 2021 |
|
|
Julia |
23 |
Julia wrapper for The Z3 Theorem Prover (SMT Solver) |
Mar 19, 2022 |
|
|
C++ |
51 |
The Z3 Theorem Prover - repository for staging python distributions |
May 17, 2022 |
|
|
Java |
8 |
The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge … |
Feb 11, 2022 |
|
|
None |
2 |
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system |
Oct 04, 2022 |
|
|
Java |
16 |
KeY Theorem Prover for Deductive Java Verification |
Apr 24, 2023 |
|
|
Python |
7 |
z3-powered solver (theorem prover) for deal |
Sep 14, 2022 |
|
|
Standard ML |
7 |
An implementation of Botworld in Higher Order Logic |
Aug 28, 2021 |
|
|
Lean |
99 |
Perfectoid spaces in the Lean formal theorem prover. |
Jul 09, 2022 |
|
|
Emacs Lisp |
3 |
Integrated Development Environment for Java |
Jul 15, 2019 |
|
|
Lua |
4 |
Integrated Development Environment for MacOS |
May 11, 2023 |
|
|
Lean |
13 |
The matrix cookbook, proved in the Lean theorem prover |
May 04, 2023 |
|
|
None |
4 |
Awesome Integrated Development Environment |
Nov 17, 2021 |
|
|
xBase |
2 |
OOHG's integrated development environment |
Apr 18, 2022 |
|
|
C |
18 |
Experimental tree-sitter parser for the Lean (4) Theorem Prover |
May 10, 2022 |
|
|
C# |
21 |
LINQ bindings for the Z3 theorem prover from Microsoft Research. |
Apr 19, 2023 |