https://github.com/leanprover/leanprover.github.io
www
https://github.com/leanprover/leanprover.github.io
Last synced: 7 months ago
JSON representation
www
- Host: GitHub
- URL: https://github.com/leanprover/leanprover.github.io
- Owner: leanprover
- Created: 2014-05-02T04:52:25.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2024-01-11T16:39:19.000Z (over 2 years ago)
- Last Synced: 2025-02-12T03:47:34.538Z (over 1 year ago)
- Language: HTML
- Homepage: https://lean-lang.org/
- Size: 60.2 MB
- Stars: 16
- Watchers: 10
- Forks: 24
- Open Issues: 15
-
Metadata Files: