formal proof

establishment of a theorem using inference from the axioms

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

Kategoriler:

document