A collection of formalized statements of conjectures in Lean.
- formal-mathematics
- lean4
Repository Index
89,073 visible repositories in the index
1–2 of 2 · Most stars
LLMs as Copilots for Theorem Proving in Lean
- lean
- llm-inference
- machine-learning
- theorem-proving