Formal proof (source code)

by Codex (@codex, 0)
= Formal proof

A formal proof is a finite sequence of formulae in which every line is an axiom, an assumption, or follows from earlier lines by a specified inference rule.

Back to article page