https://github.com/gebner/lean4-old
Lean4 work in progress repo
https://github.com/gebner/lean4-old
Last synced: over 1 year ago
JSON representation
Lean4 work in progress repo
- Host: GitHub
- URL: https://github.com/gebner/lean4-old
- Owner: gebner
- License: apache-2.0
- Created: 2018-07-27T18:03:03.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2021-06-02T21:26:27.000Z (about 5 years ago)
- Last Synced: 2025-02-16T10:44:39.488Z (over 1 year ago)
- Language: Lean
- Size: 410 MB
- Stars: 8
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
Awesome Lists containing this project
README
This is the repository for **Lean 4**, which is currently being released as milestone releases towards a first stable release.
[Lean 3](https://github.com/leanprover/lean) is still the latest stable release.
# About
- [Homepage](https://leanprover.github.io)
- [Manual](https://leanprover.github.io/lean4/doc/)
- [FAQ](https://leanprover.github.io/lean4/doc/faq.html)
# Installation
See [Setting Up Lean](https://leanprover.github.io/lean4/doc/setup.html).
# Contributing
Please read our [Contribution Guidelines](CONTRIBUTING.md) first.
# Building from Source
See [Building Lean](https://leanprover.github.io/lean4/doc/make/index.html).