10000 LeanDojo · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@lean-dojo

LeanDojo

Machine Learning for Theorem Proving in Lean

Pinned Loading

  1. LeanDojo LeanDojo Public

    Tool for data extraction and interacting with Lean programmatically.

    Python 658 104

  2. ReProver ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    Python 269 61

  3. LeanCopilot LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    C++ 1.1k 99

Repositories

Showing 8 of 8 repositories
  • LeanDojo Public

    Tool for data extraction and interacting with Lean programmatically.

    lean-dojo/LeanDojo’s past year of commit activity
    Python 658 MIT 104 7 8 Updated May 3, 2025
  • LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    lean-dojo/LeanCopilot’s past year of commit activity
    C++ 1,084 MIT 99 4 0 Updated May 2, 2025
  • LeanAgent Public

    LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously learned knowledge.

    lean-dojo/LeanAgent’s past year of commit activity
    Python 25 5 0 0 Updated Apr 29, 2025
  • LeanMillenniumPrizeProblems Public

    Formalization of the Millennium Problems in Lean4.

    lean-dojo/LeanMillenniumPrizeProblems’s past year of commit activity
    C 9 0 0 0 Updated Mar 25, 2025
  • LeanVision Public
    lean-dojo/LeanVision’s past year of commit activity
    Python 1 0 0 0 Updated Mar 11, 2025
  • LeanDojoWebsite Public

    Code for LeanDojo's website

    lean-dojo/LeanDojoWebsite’s past year of commit activity
    JavaScript 8 MIT 2 0 0 Updated Mar 4, 2025
  • ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    lean-dojo/ReProver’s past year of commit activity
    Python 269 MIT 61 1 0 Updated Jan 30, 2025
  • LeanDojoChatGPT Public

    ChatGPT plugin for theorem proving in Lean

    lean-dojo/LeanDojoChatGPT’s past year of commit activity
    Python 120 MIT 15 1 0 Updated Apr 4, 2024

Top languages

Loading…

Most used topics

Loading…
0