Source: /cirosantilli/formal-proof

= Formal proof
{wiki}

A proof in some system for the <formalization of mathematics>.
Back to article page