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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Otter-Grader
A Python and R autograding solution
Otter Browser
Otter Browser aims to recreate the best aspects of the classic Opera
Yangtze
semantic research toolkits theorem prover, plus journalized term system
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
Automated Reasoning for Bluespec Designs
This page contains tools for applying automated reasoning to Bluespec SystemVerilog (BSV) hardware designs. We provide code for importing BSV designs into the PVS theorem prover and the SAL model checker.