Saturday, September 20, 2014

We're Back!

By we I mean Dimitar (of course) and me.

We are working on Peirce Logic again and it will (hopefully) be our last semester working on it.

By this point we have fixed several issues and added some features including:

  • Redundant timeline branch checking
  • Saving and Loading of proofs
  • UI improvements
  • Timeline improvements
  • General Tablet / Mobile tweaks

For Fall 2014, we hope to finally finish up touch support for the app and add a few more quality of life features, such as shortcuts for common Logic Structures (and, or, conditionals), easier goal viewing, and so on.