OTTER (Organized Techniques for Theorem-proving and Effective Research
</references>
References
External links
- Otter home page
Otter (theorem prover)
38 words updated Jun 18, 2026, 10:58 AM
WikiHQWikiHQ38 words updated Jun 18, 2026, 10:58 AM
OTTER (Organized Techniques for Theorem-proving and Effective Research
</references>