I've uploaded documentation to the web page describing how Deduce works. If you're interested, go check it out.

Welcome to the new webpage.

This release fixes the problems with the fragile load and save commands in 1.3.0-beta1.

This is the first new release in almost 9 years. This version is written in Python and will run on any platform that can run it. It also has better support for inputs of the form "subject verb object".