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 571 93

  2. ReProver ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    Python 229 53

  3. LeanCopilot LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    C++ 997 92

Repositories

Showing 5 of 5 repositories
  • LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    lean-dojo/LeanCopilot’s past year of commit activity
    C++ 997 MIT 92 8 (2 issues need help) 1 Updated Nov 4, 2024
  • LeanDojo Public

    Tool for data extraction and interacting with Lean programmatically.

    lean-dojo/LeanDojo’s past year of commit activity
    Python 571 MIT 93 4 3 Updated Oct 13, 2024
  • ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

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

    Code for LeanDojo's website

    lean-dojo/LeanDojoWebsite’s past year of commit activity
    JavaScript 7 MIT 3 0 0 Updated Aug 19, 2024
  • LeanDojoChatGPT Public

    ChatGPT plugin for theorem proving in Lean

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

Top languages

Loading…

Most used topics

Loading…