Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / leanprover / lean3
Lean Theorem Prover
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean3
Stars: 2,137
Forks: 216
Open Issues: 58
License: apache-2.0
Language: C++
Repo Size: 50.3 MB
Dependencies:
0
Created: almost 11 years ago
Updated: 2 days ago
Last pushed: 7 months ago
Last synced: about 10 hours ago
Topics: dependent-types, lean, programming-language, theorem-proving, type-theory, verification
Files
Loading...
Readme
Loading...
No dependencies found