• 홈
  • formal proof

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