Cluster 440921

12 repos

Python · 7

C++ · 1

Coq · 1

Jupyter Notebook · 1

Lean · 1

Shell · 1

lean4 ·1,563

theorem-proving ·1,351

lean ·1,325

llm-inference ·1,322

formal-mathematics ·1,322

machine-learning ·1,322

llm ·1,322

ai ·87

ml ·87

formal-verification ·32

Related clusters

Cluster 4560503 Cluster 4498579 Cluster 4361203 Cluster 4397032 Cluster 4415723 Cluster 4378073

Kevin-ishimwe/LEAN_PROVER_WORKFLOW

No description

Python

9 commits

siddhartha-gadgil/LeanAide

Tools based on AI for helping with Lean 4

Lean

122

3,937 commits

graviterra/ensemble-prover

Autonomous theorem prover combining language-model proof search with Lean 4 verification.

Python

4 commits

project-numina/numina-lean-agent

No description

Python

273

49 commits

uw-math-ai/autoformalization-with-llms

No description

Python

100 commits

mtarunpr/coq-prover

Prove theorems in Coq by extracting lemmas at failure points. Also contains tools for parsing Coq…

Coq

99 commits

lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

C++

1,322

499 commits

T3S1AMAX/autolean

No description

Python

5 commits

henryrobbins/open-atp

OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving…

Python

332 commits

GasStationManager/LeanTool

A "code intepreter" for Lean

Python

176 commits

cameronfreer/lean4-skills

Lean 4 theorem proving skill and workflow pack for AI coding agents

Shell

437

571 commits

monkeytim19/proof-repair-LLM-Lean4

No description

Jupyter Notebook

87 commits