Buy Me a Coffee at ko-fi.com

Spass

automated theorem prover for first-order logic with equality

Pronunciation
/spɑzəz/