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/

دسته بندی ها:

document