QED manifesto (source code)

= 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.