QED manifesto (source code)

by Ciro Santilli (@cirosantilli, 37)
= QED manifesto
{c}
{wiki}

If <Ciro Santilli> ever becomes rich, he's going to solve this with: <website front-end for a mathematical formal proof system>, promise.

Back to article page