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 592 94

  2. ReProver ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    Python 239 53

  3. LeanCopilot LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    C++ 1k 94

Repositories

Showing 5 of 5 repositories
  • LeanDojoWebsite Public

    Code for LeanDojo's website

    lean-dojo/LeanDojoWebsite’s past year of commit activity
    JavaScript 8 MIT 2 0 0 Updated Jan 3, 2025
  • LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    lean-dojo/LeanCopilot’s past year of commit activity
    C++ 1,014 MIT 94 13 (1 issue needs help) 0 Updated Jan 2, 2025
  • LeanDojo Public

    Tool for data extraction and interacting with Lean programmatically.

    lean-dojo/LeanDojo’s past year of commit activity
    Python 592 MIT 94 3 3 Updated Jan 2, 2025
  • ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    lean-dojo/ReProver’s past year of commit activity
    Python 239 MIT 53 1 0 Updated Aug 29, 2024
  • LeanDojoChatGPT Public

    ChatGPT plugin for theorem proving in Lean

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