https://github.com/leanprover/lean4

Lean 4 programming language and theorem prover
https://github.com/leanprover/lean4

lean lean4

Last synced: 17 days ago
JSON representation

Lean 4 programming language and theorem prover

• Host: GitHub
• URL: https://github.com/leanprover/lean4
• Owner: leanprover
• License: apache-2.0
• Created: 2018-04-15T02:49:20.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2024-11-29T22:55:56.000Z (22 days ago)
• Last Synced: 2024-11-30T00:08:09.354Z (22 days ago)
• Topics: lean, lean4
• Language: Lean
• Homepage: https://lean-lang.org
• Size: 1.6 GB
• Stars: 4,751
• Watchers: 63
• Forks: 428
• Open Issues: 780
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Codeowners: CODEOWNERS

Awesome Lists containing this project

• awesome-programming-languages - Lean - Lean is an open source theorem prover and programming language being developed at Microsoft Research. Lean aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. (Uncategorized / Uncategorized)
• awesome-list - lean4
• AiTreasureBox - leanprover/lean4 - 12-20_4827_2](https://img.shields.io/github/stars/leanprover/lean4.svg)|Lean 4 programming language and theorem prover| (Repos)

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)).