Lean Theorem Prover
-
Updated
Oct 14, 2023 - C++
#
theorem-proving
Here are 6 public repositories matching this topic...
LLMs as Copilots for Theorem Proving in Lean
-
Updated
Nov 18, 2025 - C++
-
Updated
Feb 27, 2018 - C++
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
machine-learning natural-language-processing theorem-proving data-synthesis automated-theorem-proving math-word-problem large-language-models ai4math complex-reasoning math-word-problem-solving
-
Updated
May 29, 2024 - C++
madeline/Proof General: an integrated prover environment for our favourite deductive logic games.
-
Updated
Sep 2, 2023 - C++
Inference engine for extensional untyped λ-calculus
-
Updated
Oct 19, 2025 - C++
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."