Skip to content
@lean-dojo

LeanDojo

Machine Learning for Theorem Proving in Lean

Pinned Loading

  1. LeanDojo Public

    Tool for data extraction and interacting with Lean programmatically.

    Python 633 99

  2. ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    Python 262 58

  3. LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    C++ 1.1k 99

Repositories

Showing 8 of 8 repositories
  • LeanMillenniumPrizeProblems Public

    Formalization of the Millennium Problems in Lean4.

    C 7 0 0 0 Updated Mar 25, 2025
  • LeanVision Public
    Python 1 0 0 0 Updated Mar 11, 2025
  • LeanDojo Public

    Tool for data extraction and interacting with Lean programmatically.

    Python 633 MIT 99 4 7 Updated Mar 10, 2025
  • LeanDojoWebsite Public

    Code for LeanDojo's website

    JavaScript 8 MIT 2 0 0 Updated Mar 4, 2025
  • LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    C++ 1,064 MIT 99 16 (1 issue needs help) 1 Updated Mar 4, 2025
  • LeanAgent Public
    Python 22 3 0 0 Updated Mar 1, 2025
  • ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    Python 262 MIT 58 1 0 Updated Jan 30, 2025
  • LeanDojoChatGPT Public

    ChatGPT plugin for theorem proving in Lean

    Python 117 MIT 13 1 0 Updated Apr 4, 2024

Top languages

Loading…

Most used topics

Loading…