Otter Development Environment

Brought to you by: kjkeefe

Last Update: 2016-03-15

Get an email when there's a new version of Otter Development Environment

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

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

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

Recommended Projects

Otter Browser
Otter Browser aims to recreate the best aspects of the classic Opera
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
DeepSeek Prover V2
Advancing Formal Mathematical Reasoning via Reinforcement Learning
F-Void
Fork of Linux Void
OpenLDev
Open Linux Developer is a development environment that provides a graphical front-end to the Linux compilers gcc and g++ as well as support for GTK+ development. It includes the basic essentials needed by a Linux programmer.