LLMs as Copilots for Theorem Proving in Lean
- lean
- llm-inference
- machine-learning
- theorem-proving
Repository Index
89,073 visible repositories in the index
1–1 of 1 · Most stars
89,073 visible repositories in the index
1–1 of 1 · Most stars
LLMs as Copilots for Theorem Proving in Lean