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.