The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
-
Updated
Dec 20, 2025 - OCaml
A Proof-oriented Programming Language
-
Updated
Dec 19, 2025 - F*
Lean Theorem Prover
-
Updated
Oct 14, 2023 - C++
Lean 3's obsolete mathematical components library: please use mathlib4
-
Updated
Jun 28, 2024 - Lean
LLMs as Copilots for Theorem Proving in Lean
-
Updated
Dec 18, 2025 - C++
CakeML: A Verified Implementation of ML
-
Updated
Dec 20, 2025 - Standard ML
Tool for data extraction and interacting with Lean programmatically.
-
Updated
Sep 13, 2025 - Python
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
-
Updated
Dec 19, 2025 - Standard ML
Software Foundations in Idris
-
Updated
May 15, 2019 - Idris
A Learning Environment for Theorem Proving with the Coq proof assistant
-
Updated
Jun 30, 2023 - Coq
ACL2 System and Books as Maintained by the Community
-
Updated
Dec 19, 2025 - Common Lisp
A project to digitalise results from physics into Lean.
-
Updated
Dec 19, 2025 - Lean
Bug-free machine learning on stochastic computation graphs
-
Updated
Mar 3, 2019 - Lean
Links to tools by subject
-
Updated
Mar 19, 2024
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
Dec 15, 2025
Retrieval-Augmented Theorem Provers for Lean
-
Updated
Jan 30, 2025 - Python
Proving Ground: Tools for Automated Mathematics
-
Updated
Sep 5, 2021 - Jupyter Notebook
A Low Barrier Proof Assistant
-
Updated
Dec 14, 2025 - Python
llmstep: [L]LM proofstep suggestions in Lean 4.
-
Updated
Nov 11, 2023 - Python
コード例で学ぶ Lean 言語
-
Updated
Dec 17, 2025 - Lean
Improve this page
Add a description, image, and links to the theorem-proving topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the theorem-proving topic, visit your repo's landing page and select "manage topics."