OurBigBook
.com (beta)
About
$ Donate
Sign in
Sign up
by
Ciro Santilli
(@cirosantilli,
32
)
List of proof assistants
Table of contents
Lean
Lean (proof assistant)
List of proof assistants
tags:
Microsoft product
,
Open source software
github.com/leanprover/lean
github.com/leanprover/lean4
Ancestors
Proof assistant
Formalization of mathematics
Area of mathematics
Mathematics
Index
Discussion (0)
Subscribe (1)
Sign up
or
sign in
create discussions.
There are no discussions about this article yet.
View article source