OurBigBook
.com (beta)
About
$ Donate
Sign in
Sign up
by
Ciro Santilli
(@cirosantilli,
32
)
BookofProofs
www.bookofproofs.org/
No open signup it seems. TODO CV of owner.
They are making a
proof assistant
to integrate into the website:
github.com/bookofproofs/fpl/
, reminds
Ciro Santilli
of
website front-end for a mathematical formal proof system
.
Ancestors
Mathematics wiki
Wiki by subject
Wiki
Collaborative writing platform
Website
Art
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