There are 32 repositories under theorem-proving topic.
Lean Theorem Prover
Lean 3's obsolete mathematical components library: please use mathlib4
LLMs as Copilots for Theorem Proving in Lean
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.
Software Foundations in Idris
A Learning Environment for Theorem Proving with the Coq proof assistant
Links to tools by subject
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Proving Ground: Tools for Automated Mathematics
Jupyter kernel for Coq
Public code developed during my MSc study at University of Bologna
Athena is a modern, practical language for proof engineering & natural deduction.
A formalization of the textbook Elements of Set Theory
Razor is a tool for constructing finite models for first-order theories
A Seamless, Interactive Tactic Learner and Prover for Coq
Distributed termination detection on a ring, due to Shmuel Safra:
A Scala library for controlling/interacting with Isabelle