« Changelog History


judge v0.1.1.0 Release Notes

Release Date: 2018-01-17 // over 6 years ago

  • ➕ Added

    * Tableaux are now postprocessed to remove obviously superfluous rules.
* Tableaux now document which formulas triggered branch closure.

    ✂ Removed

    * The `negation` and `contradicts` functions have been removed.

    🔄 Changed

    * Closure is now exclusively triggered on properly signed formulas --- no 
  longer on finding `[T] A` and `[T] A -> 0`, and no longer on finding 
  `[T] A` for some assumption `A`.