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 530 75

  2. ReProver ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    Python 201 41

  3. LeanCopilot LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    C 911 76

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 911 MIT 76 7 (1 issue needs help) 2 Updated Aug 7, 2024
  • LeanDojo Public

    Tool for data extraction and interacting with Lean programmatically.

    lean-dojo/LeanDojo’s past year of commit activity
    Python 530 MIT 75 3 1 Updated Aug 6, 2024
  • ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    lean-dojo/ReProver’s past year of commit activity
    Python 201 MIT 41 1 0 Updated Jul 30, 2024
  • LeanDojoWebsite Public

    Code for LeanDojo's website

    lean-dojo/LeanDojoWebsite’s past year of commit activity
    JavaScript 7 MIT 1 0 0 Updated Jul 14, 2024
  • LeanDojoChatGPT Public

    ChatGPT plugin for theorem proving in Lean

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

Top languages

Loading…

Most used topics

Loading…