theorem-prover
Here are 126 public repositories matching this topic...
Language:All
Sort:Most stars
A modern proof language
- Updated
Jan 22, 2025 - Haskell
The Yices SMT Solver
- Updated
Jan 15, 2025 - SMT
ACL2 System and Books as Maintained by the Community
- Updated
Mar 24, 2025 - Common Lisp
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
- Updated
Mar 23, 2025
A repository to store Z3-python scripts you can use as examples, reminders, whatever.
- Updated
Aug 22, 2020 - Python
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
- Updated
Nov 6, 2021 - Scala
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
- Updated
Mar 5, 2025 - OCaml
My sandbox for experimenting with solver algorithms.
- Updated
Feb 28, 2025 - Haskell
Cicada Language (solo version)
- Updated
Dec 25, 2024 - TypeScript
Large Scale Type Systems (programming language)
- Updated
Jan 22, 2025
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
- Updated
Sep 12, 2018 - Idris
Tableau-based Theorem Prover for Natural Logic and Language
- Updated
Mar 10, 2025 - Prolog
VSCode extension that is designed to help automate writing of Coq proofs.
- Updated
Mar 7, 2025 - TypeScript
Resolution theorem proving for predicate logic in pure Python.
- Updated
Nov 20, 2023 - Python
Cicada Language (PLCT little team)
- Updated
Dec 25, 2024 - TypeScript
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
- Updated
Feb 28, 2025 - Scala
GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
- Updated
Mar 3, 2025 - C++
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
- Updated
Jan 26, 2024 - C
Improve this page
Add a description, image, and links to thetheorem-prover topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thetheorem-prover topic, visit your repo's landing page and select "manage topics."