|
|
C++ |
412 |
Simple Theorem Prover, an efficient SMT solver for bitvectors |
Sep 19, 2022 |
|
|
Python |
7 |
z3-powered solver (theorem prover) for deal |
Sep 14, 2022 |
|
|
Common Lisp |
7 |
Integrate the Smtlink solver Z3 into the theorem prover ACL2. |
Nov 11, 2021 |
|
|
SWIG |
2 |
Python Wrapper for the Yices SMT Solver |
Apr 26, 2020 |
|
|
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 |
|
|
C++ |
6 |
A Swift wrapper over Microsoft's Z3 Theorem Prover |
Jan 09, 2023 |
|
|
TeX |
2 |
Documentation for the KeY Theorem Prover |
Feb 18, 2024 |
|
|
SMT |
633 |
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. |
Jul 14, 2022 |
|
|
None |
2 |
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. |
Oct 16, 2023 |
|
|
C++ |
346 |
Lean Theorem Prover |
Aug 08, 2022 |
|
|
C++ |
2061 |
Lean Theorem Prover |
Aug 10, 2022 |
|
|
Racket |
11 |
k theorem prover |
Jan 27, 2023 |
|
|
Haskell |
12 |
A theorem prover |
Dec 16, 2021 |
|
|
Julia |
49 |
Julia wrapper for the HiGHS solver |
Aug 13, 2022 |
|
|
Julia |
71 |
Julia wrapper for the Cbc solver |
Jul 31, 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 |
|
|
Common Lisp |
7 |
Prolog Technology Theorem Prover |
Apr 05, 2022 |
|
|
OCaml |
3 |
SGGS-based theorem prover |
Jul 27, 2022 |
|
|
JavaScript |
61 |
A nano "theorem prover". |
Dec 27, 2020 |
|
|
OCaml |
2 |
A toy theorem prover |
Oct 12, 2023 |
|
|
JavaScript |
3 |
The website for STP, the Simple Theorem Prover |
Aug 07, 2022 |
|
|
SMT |
320 |
The Yices SMT Solver |
Mar 27, 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 |
|
|
Lua |
2 |
A graph based theorem prover |
Jun 12, 2023 |
|
|
Kotlin |
2 |
This repository is practice implementation of various automated theorem prover, including SAT-solver. |
Feb 07, 2022 |
|
|
Julia |
4 |
A Julia wrapper for the Concorde TSP Solver. |
May 06, 2022 |
|
|
Julia |
4 |
Julia wrapper for the DSDP semidefinite programming solver |
Apr 30, 2022 |
|
|
Julia |
10 |
Julia Wrapper for the KLU sparse matrix solver |
Aug 11, 2022 |
|
|
Julia |
37 |
Julia wrapper for the ECOS conic optimization solver |
Aug 03, 2022 |
|
|
Go |
27 |
Bindings for the Z3 SMT solver |
Apr 30, 2023 |
|
|
C++ |
51 |
The Z3 Theorem Prover - repository for staging python distributions |
May 17, 2022 |
|
|
Java |
16 |
KeY Theorem Prover for Deductive Java Verification |
Apr 24, 2023 |
|
|
Haskell |
4 |
A theorem prover for intuitionistic propositional logic |
Mar 26, 2023 |
|
|
Lean |
99 |
Perfectoid spaces in the Lean formal theorem prover. |
Jul 09, 2022 |
|
|
Clojure |
18 |
a small theorem prover in clojure |
Apr 21, 2023 |
|
|
Idris |
10 |
A programming language, half theorem prover |
Apr 02, 2023 |
|
|
Rust |
2 |
Interactive theorem prover based on CoIC |
Jan 18, 2023 |
|
|
Rust |
2 |
🥺 | Theorem prover focused on UI |
Jun 14, 2023 |
|
|
Julia |
5 |
Wrapper for the constraint-programming solver Chuffed to Julia |
May 24, 2022 |