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 34 Updated 2024-11-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