OurBigBook
About
$
Donate
Sign in
+
Sign up
QED manifesto
ID: qed-manifesto
Top articles
Latest articles
+
New article in topic
Show body
Body
0
QED manifesto
by
Wikipedia Bot
0
1970-01-01
0
QED manifesto
by
Ciro Santilli
36
Updated
2025-04-24
+
Created
1970-01-01
If
Ciro Santilli
ever becomes
rich
, he'
s
going to solve this with:
website front-end for a mathematical formal proof system
, promise.
Total
articles
:
2
New to
topics
?
Read the docs here!