OurBigBook
.com (beta)
About
$ Donate
Sign in
Sign up
by
Ciro Santilli
(@cirosantilli,
32
)
Lean (proof assistant)
tags:
Microsoft product
,
Open source software
github.com/leanprover/lean
github.com/leanprover/lean4
Ancestors
List of proof assistants
Proof assistant
Formalization of mathematics
Area of mathematics
Mathematics
Index
Incoming links
Microsoft
The Math Genome Project
Website front-end for a mathematical formal proof system
Discussion (0)
Subscribe (1)
Sign up
or
sign in
create discussions.
There are no discussions about this article yet.
View article source