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.
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.