10 repos
Kevin-ishimwe/LEAN_PROVER_WORKFLOW
No description
0
9 commits
siddhartha-gadgil/LeanAide
Tools based on AI for helping with Lean 4
122
3,937 commits
GasStationManager/LeanTool
A "code intepreter" for Lean
87
176 commits
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
1,322
499 commits
uw-math-ai/autoformalization-with-llms
8
100 commits
mtarunpr/coq-prover
Prove theorems in Coq by extracting lemmas at failure points. Also contains tools for parsing Coq…
6
99 commits
project-numina/numina-lean-agent
275
49 commits
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
155
73 commits
T3S1AMAX/autolean
29
5 commits
cameronfreer/lean4-skills
Lean 4 theorem proving skill and workflow pack for AI coding agents
442
571 commits
