This project will develop a graphical front-end environment using Java for a First Order Logic theorem prover called Otter. Otter is a free scientific tool that is open source, written in C, and command line only. It will support Linux, OSX, and Win

Project Activity

See All Activity >

Follow Otter Development Environment

Otter Development Environment Web Site

Other Useful Business Software
$300 in Free Credit Towards Top Cloud Services Icon
$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Get Started
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Otter Development Environment!

Additional Project Details

Registered

2004-11-19
Report inappropriate content