Formal system (source code)

by Ciro Santilli (@cirosantilli, 37)
= Formal system

= Formal proof system
{synonym}

Back to article page