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