Buy Me a Coffee at ko-fi.com

Theorem proving system

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

Pronunciation
/ˈθiərəm ˈpruvɪŋ ˈsɪstəm/
Categories
proof assistant