Natural Deduction Planner / Blog: Recent posts

Version 1.4.2 of Proof Assistant has been released! This version includes mainly bug fixes, which I will list here.

• A number of problems with parsing have been fixed, including correct parsing of quantifiers and correct parsing of formulas with spaces (which were sometimes throwing bracket matching errors).
• Pressing X to close the window now saves settings.
• A bug where existential introduction would fail to recognise that a line matched has been fixed.
• There was a bug with TeX code input in \sequent format, when there were no premises. This has now been fixed and works.
• The TeX code output has been tweaked to hopefully accommodate larger font sizes.... read more

We have a new milestone! Version 1.4.0 is now available to download. There are a number of big changes in this release, and a lot has happened behind the interface.

The most exciting new feature is support for Modal/Hybrid Logic. There is also a limited implementation of some second-order logic, as well as some refreshed input and output options.

Modal/Hybrid Logic

As I mentioned, 1.4.0 brings support for some modal and hybrid logic operators. Specifically, the following operators are supported:... read more

Proof Assistant 1.3.3 is now available for download! Again, this is in JAR format. After I write this post, I'll update the wiki with release-specific instructions.

This release brings a number of exciting new features. You may have noticed that version 1.3.2 has been skipped. 1.3.2 was in fact a release that I didn't upload - 1.3.3 contains bugfixes for 1.3.2 among other things, so you're spared the worst problems. Because of this, I'll list the features new in both releases.... read more

Version 1.3.1 is the first version of the Proof Assistant released for Beta testing. Thank you for playing with the software! Your testing expertise is invaluable.

I'll be using this blog to give updates on what's new in each release of the Proof Assistant. This version 1.3.1 is in fact the 13th build of the app. If you're interested in the order the features were added, check the file "version history.txt". 1.3.1 is in fact mainly a bugfixes release, so in this post I'll list the major features of the Proof Assistant as it currently stands.... read more