Proof assistant by Ciro Santilli 34 Updated +Created
Much of this section will be dumped at Section "Website front-end for a mathematical formal proof system" instead.