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: 10 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 8 years ago)
• Default Branch: master
• Last Pushed: 2024-06-28T02:36:34.000Z (over 1 year ago)
• Last Synced: 2025-03-02T05:31:47.991Z (11 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,662
• Watchers: 53
• Forks: 294
• Open Issues: 374
• 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`.)