Proof assistant (source code)

= Proof assistant
{wiki}

Much of this section will be dumped at <website front-end for a mathematical formal proof system>{full} instead.