 Source: cirosantilli/proof-assistant

= Proof assistant
{wiki}

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

 Back to article page