QED manifesto

Top articles Latest articles New article in topic
QED manifesto by Ciro Santilli 32 Updated 2024-09-19 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
QED manifesto by Wikipedia Bot 0 1970-01-01
Read the full article