Tree prover update

I've spent some time this summer upgrading my tree prover. The new version is here. What's new:

  • support for some (normal) modal logics
  • better detection of invalid formulas
  • faster proof search
  • nicer user interface and nicer trees
  • cleaner source

I hope there aren't too many new bugs. Let me know if you find one!

Comments

No comments yet.

Add a comment

Please leave these fields blank (spam trap):

No HTML please.
You can edit this comment until 30 minutes after posting.