formal proof

establishment of a theorem using inference from the axioms

en-US/ˈfɔɹməl ˈpɹuf/
en-GB/ˈfɔːml ˈpɹuːf/

Kategori:

document