Search results
2 tools · ranked by relevance and freshness, not ad spend.
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
