OurBigBook
.com (beta)
About
$ Donate
Sign in
Sign up
by
Ciro Santilli
(@cirosantilli,
31
)
QED manifesto
If
Ciro Santilli
ever becomes rich, he's going to solve this with:
website front-end for a mathematical formal proof system
, promise.
Ancestors
Proof assistant
Formalization of mathematics
Area of mathematics
Mathematics
Index
Incoming links
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