Otter

automated theorem prover

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

分类：

free software