OurBigBook
About
$
Donate
Sign in
+
Sign up
Web-based proof assistant
ID: web-based-proof-assistant
Top articles
Latest articles
+
New article in topic
Show body
Body
0
Web-based proof assistant
by
Ciro Santilli
37
Updated
2025-05-09
+
Created
1970-01-01
A
more verbose
description
of this at:
Section "Website front-end for a mathematical formal proof system"
.
Total
articles
:
1
New to
topics
?
Read the docs here!