https://github.com/leanprover/lean4-ci-test
A copy of the lean4 repository to test changes to the repository and CI setup
https://github.com/leanprover/lean4-ci-test
Last synced: 8 months ago
JSON representation
A copy of the lean4 repository to test changes to the repository and CI setup
- Host: GitHub
- URL: https://github.com/leanprover/lean4-ci-test
- Owner: leanprover
- License: apache-2.0
- Created: 2024-04-22T17:02:31.000Z (about 2 years ago)
- Default Branch: master
- Last Pushed: 2024-05-11T13:49:23.000Z (about 2 years ago)
- Last Synced: 2025-05-14T03:32:34.037Z (about 1 year ago)
- Language: Lean
- Size: 1.15 GB
- Stars: 0
- Watchers: 9
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Codeowners: CODEOWNERS
Awesome Lists containing this project
README
This is the repository for **Lean 4**.
# About
- [Quickstart](https://lean-lang.org/lean4/doc/quickstart.html)
- [Homepage](https://lean-lang.org)
- [Theorem Proving Tutorial](https://lean-lang.org/theorem_proving_in_lean4/)
- [Functional Programming in Lean](https://lean-lang.org/functional_programming_in_lean/)
- [Manual](https://lean-lang.org/lean4/doc/)
- [Release notes](RELEASES.md) starting at v4.0.0-m3
- [Examples](https://lean-lang.org/lean4/doc/examples.html)
- [External Contribution Guidelines](CONTRIBUTING.md)
- [FAQ](https://lean-lang.org/lean4/doc/faq.html)
# Installation
See [Setting Up Lean](https://lean-lang.org/lean4/doc/setup.html).
# Contributing
Please read our [Contribution Guidelines](CONTRIBUTING.md) first.
# Building from Source
See [Building Lean](https://lean-lang.org/lean4/doc/make/index.html) (documentation source: [doc/make/index.md](doc/make/index.md)).