Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / lukechen526 / mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lukechen526%2Fmathematics_in_lean
Fork of leanprover-community/mathematics_in_lean
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language:
Repo Size: 20.6 MB
Dependencies: pending
Created: 3 months ago
Updated: 3 months ago
Last pushed: 3 months ago
Last synced: 24 days ago
Files
Loading...
Readme
Loading...