Topic · theorem-proving

theorem-proving

Tracked open-source repos tagged theorem-proving, sorted by stars.

Repos

7

Total stars

13,478

Avg. stars

1,925

Share

0.00%

Topics that frequently appear alongside theorem-proving on the same repo.

Recent risers

Repos created in the last 90 days, tagged theorem-proving.

No new repos tagged with this topic in the last 90 days.

#1
rocq ↗@rocq-proverOCaml
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.
★ 5,562+4Star change over the last 7 days
#2
FStar ↗@FStarLangF*
A Proof-oriented Programming Language
★ 3,103+4Star change over the last 7 days
#3
LeanCopilot ↗@lean-dojoC++
LLMs as Copilots for Theorem Proving in Lean
★ 1,318+1Star change over the last 7 days
#4
cakeml ↗@CakeMLStandard ML
CakeML: A Verified Implementation of ML
★ 1,190+2Star change over the last 7 days
#5
LeanDojo ↗@lean-dojoPython
Tool for data extraction and interacting with Lean programmatically.
★ 832+1Star change over the last 7 days
#6
HOL ↗@HOL-Theorem-ProverStandard ML
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.
★ 756+2Star change over the last 7 days
#7
physlib ↗@leanprover-communityLean
A project to digitalise results from physics into Lean.
★ 719+4Star change over the last 7 days

← Back to topics