Otter

automated theorem prover

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

Categorieën:

free software