Otter

automated theorem prover

en-GB/ˈɒtə/
en-US/ˈɑtɚ/

Categorie:

free software