https://github.com/leanprover-community/lean

Lean 3 Theorem Prover (community fork)
https://github.com/leanprover-community/lean

lean3

Last synced: 3 months ago
JSON representation

Lean 3 Theorem Prover (community fork)

• Host: GitHub
• URL: https://github.com/leanprover-community/lean
• Owner: leanprover-community
• License: apache-2.0
• Created: 2019-02-10T09:17:48.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2023-10-12T20:35:09.000Z (about 1 year ago)
• Last Synced: 2024-05-29T03:27:47.935Z (6 months ago)
• Topics: lean3
• Language: C++
• Homepage: http://leanprover-community.github.io/
• Size: 54.2 MB
• Stars: 433
• Watchers: 29
• Forks: 81
• Open Issues: 132
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project

README

        
> [!WARNING]  

> Lean 3 is no longer actively maintained.

> It is strongly recommended that you use [Lean 4](https://lean-lang.org/) instead.

(If you need to read the old `README.md`, please see `OLD_README.md`.)