Formal proof (source code)

by Ciro Santilli (@cirosantilli, 37)
= Formal proof
{wiki}

A proof in some system for the <formalization of mathematics>.

Back to article page