Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / leanprover / lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean2
Stars: 121
Forks: 25
Open Issues: 3
License: apache-2.0
Language: C++
Repo Size: 23.8 MB
Dependencies:
0
Created: over 7 years ago
Updated: 2 months ago
Last pushed: about 2 years ago
Last synced: 20 days ago
Files
Loading...
Readme
Loading...
No dependencies found