https://github.com/leanprover/lean3

Lean Theorem Prover
https://github.com/leanprover/lean3

dependent-types lean programming-language theorem-proving type-theory verification

Last synced: 2 days ago
JSON representation

Lean Theorem Prover

• Host: GitHub
• URL: https://github.com/leanprover/lean3
• Owner: leanprover
• License: apache-2.0
• Archived: true
• Created: 2013-07-17T00:42:34.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2023-10-14T22:40:02.000Z (over 1 year ago)
• Last Synced: 2024-10-22T19:17:18.262Z (3 months ago)
• Topics: dependent-types, lean, programming-language, theorem-proving, type-theory, verification
• Language: C++
• Homepage: http://leanprover.github.io/
• Size: 50.3 MB
• Stars: 2,147
• Watchers: 116
• Forks: 217
• Open Issues: 58
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project

README

        
**This repository has been frozen. [Lean 4](https://github.com/leanprover/lean4) is now the official release.**

About

-----

- [Homepage](http://leanprover.github.io)

- [Theorem Proving in Lean](https://leanprover.github.io/theorem_proving_in_lean/index.html)

- [FAQ](doc/faq.md)

Installation

------------

Stable and nightly binary releases of Lean are available on the [homepage](https://leanprover.github.io/download/). For building Lean from source, see the [build instructions](doc/make/index.md).