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 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.
Read the full article

New to topics? Read the docs here!