Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lean-dojo%2FLeanDojo

Stars: 453
Forks: 66
Open Issues: 2

License: mit
Language: Python
Repo Size: 2.11 MB
Dependencies: 11

Created: 12 months ago
Updated: 15 days ago
Last pushed: 15 days ago
Last synced: 15 days ago

Topics: lean, lean4, machine-learning, theorem-proving

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/format_code.yaml actions
    docker/Dockerfile docker
    pyproject.toml pypi