https://github.com/utensil/formal-land
My monorepo for formalization, e.g. Lean, Aya
https://github.com/utensil/formal-land
lean lean4
Last synced: about 1 year ago
JSON representation
My monorepo for formalization, e.g. Lean, Aya
- Host: GitHub
- URL: https://github.com/utensil/formal-land
- Owner: utensil
- License: mit
- Created: 2020-04-28T00:31:50.000Z (about 6 years ago)
- Default Branch: main
- Last Pushed: 2025-04-11T07:31:44.000Z (about 1 year ago)
- Last Synced: 2025-06-15T10:14:59.184Z (about 1 year ago)
- Topics: lean, lean4
- Language: Lean
- Homepage: https://utensil.github.io/formal-land/lean4/
- Size: 403 KB
- Stars: 4
- Watchers: 4
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE