• 홈
  • Theorem Proving System

Theorem Proving System

automated theorem proving system for first-order and higher-order logic

en-GB/ˈθɪəɹəm ˈpɹuːvɪŋ ˈsɪstəm/
en-US/ˈθɪɹəm ˈpɹuvɪŋ ˈsɪstəm/

카테고리:

proof assistant