https://github.com/leanprover/mkleanbook
https://github.com/leanprover/mkleanbook
Last synced: 7 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/leanprover/mkleanbook
- Owner: leanprover
- License: apache-2.0
- Created: 2016-11-21T19:08:38.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2017-03-16T18:30:22.000Z (about 9 years ago)
- Last Synced: 2025-04-04T20:44:42.415Z (about 1 year ago)
- Language: JavaScript
- Size: 7.12 MB
- Stars: 2
- Watchers: 5
- Forks: 8
- Open Issues: 3