LeanDojo and LeanDojoWebsite

LeanDojoWebsite is the web interface and documentation platform for LeanDojo's programmatic tools, making them complements that serve different access patterns to the same underlying Lean interaction functionality.

LeanDojo
57
Established
LeanDojoWebsite
44
Emerging
Maintenance 10/25
Adoption 10/25
Maturity 16/25
Community 21/25
Maintenance 10/25
Adoption 4/25
Maturity 16/25
Community 14/25
Stars: 778
Forks: 116
Downloads: —
Commits (30d): 0
Language: Python
License: MIT
Stars: 8
Forks: 3
Downloads: —
Commits (30d): 0
Language: HTML
License: MIT
No Package No Dependents
No Package No Dependents

About LeanDojo

lean-dojo/LeanDojo

Tool for data extraction and interacting with Lean programmatically.

This tool helps researchers and AI developers working on automated theorem proving to interact with the Lean proof assistant. It allows you to extract detailed information like proof states, tactics, and premises from Lean repositories. The output is structured data that can be used to train and evaluate machine learning models for theorem proving.

automated-reasoning theorem-proving formal-verification proof-assistant AI-research

About LeanDojoWebsite

lean-dojo/LeanDojoWebsite

Code for LeanDojo's website

Scores updated daily from GitHub, PyPI, and npm data. How scores work