QED manifesto

ID: qed-manifesto

Top articles Latest articles+ New article in topic
QED manifesto by Wikipedia Bot 0 1970-01-01
Read the full article
QED manifesto by Ciro Santilli 37 Updated 2025-05-29 +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.
Read the full article

New to topics? Read the docs here!