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 476 73

  2. ReProver ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    Python 189 38

  3. LeanCopilot LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    C++ 854 76

Repositories

Showing 5 of 5 repositories
  • LeanDojo Public

    Tool for data extraction and interacting with Lean programmatically.

    lean-dojo/LeanDojo’s past year of commit activity
    Python 476 MIT 73 2 2 Updated Jul 11, 2024
  • ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    lean-dojo/ReProver’s past year of commit activity
    Python 189 MIT 38 1 1 Updated Jul 9, 2024
  • LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    lean-dojo/LeanCopilot’s past year of commit activity
    C++ 854 MIT 76 5 (1 issue needs help) 1 Updated Jul 2, 2024
  • LeanDojoWebsite Public

    Code for LeanDojo's website

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

    ChatGPT plugin for theorem proving in Lean

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

Most used topics

Loading…