Version 1.3.1

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.

Supported features:

• All rules in NJ
• Double negation
• Identity rules
• General equational reasoning
• Identity boxes
• Axioms Q1-Q6
• Induction
• Undo/redo
• Save/open, with the undo/redo history
• New proof, with onscreen symbol panel
• + and ⋅
• Cut
• Zoom
• Various symbol sets
• Arity settings

Please feel free to make as many Tickets as you'd like. Planned features include a revamp of the way proof systems are handled, support for modal logic and the ability to save a proof such that it is uneditable.