Vampire theorem prover

automatic theorem prover

en-GB/ˈvæmpaɪə ˈθɪəɹəm ˈpɹuːvə/

Kategorien:

automated theorem provingsoftware