OurBigBook
About
$
Donate
Sign in
Sign up
Lean library
Ciro Santilli
(
@cirosantilli,
37
)
...
Mathematics
Area of mathematics
Formalization of mathematics
Proof assistant
List of proof assistants
Lean (proof assistant)
2025-10-14
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Table of contents
Lean Mathlib
Lean library
mathlib4
Lean Mathlib
Lean Mathlib
0
0
0
Lean library
mathlib4
0
0
0
Lean Mathlib
github.com/leanprover-community/mathlib4
Here is
a
specific
minimal example of how to use mathlib4:
proofassistants.stackexchange.com/questions/2526/how-to-run-lean4-with-mathlib-manually/5299#5299
Ancestors
(7)
Lean (proof assistant)
List of proof assistants
Proof assistant
Formalization of mathematics
Area of mathematics
Mathematics
Home
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version