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

Lean 3's obsolete mathematical components library: please use mathlib4
https://github.com/leanprover-community/mathlib3

formal-mathematics formal-methods formal-proofs lean proof-automation theorem-proving

Last synced: 3 months ago
JSON representation

Lean 3's obsolete mathematical components library: please use mathlib4

• Host: GitHub
• URL: https://github.com/leanprover-community/mathlib3
• Owner: leanprover-community
• License: apache-2.0
• Archived: true
• Created: 2017-07-21T08:02:10.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2024-06-28T02:36:34.000Z (7 months ago)
• Last Synced: 2024-10-06T12:02:22.290Z (4 months ago)
• Topics: formal-mathematics, formal-methods, formal-proofs, lean, proof-automation, theorem-proving
• Language: Lean
• Homepage: https://leanprover-community.github.io/lean3
• Size: 213 MB
• Stars: 1,668
• Watchers: 52
• Forks: 298
• Open Issues: 375
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md
  • Citation: CITATION.md
  • Codeowners: .github/CODEOWNERS
  • Roadmap: roadmap/todo.lean

Awesome Lists containing this project

README

        
# Lean 3's mathlib

> [!WARNING]  

> Lean 3 and Mathlib 3 are no longer actively maintained.

> It is strongly recommended that you use [mathlib4](https://github.com/leanprover-community/mathlib4) for Lean 4 instead.

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