• Home
  • 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/

Categories:

proof assistant