All Versions
4
Latest Version
Avg Release Cycle
19 days
Latest Release
1324 days ago

Changelog History

  • v0.1.3.0 Changes

    March 14, 2018

    ๐Ÿ”„ Changed

    * Changed name and description of data files.
    * Fixed bug that caused assumptions not to be simplified.
    
  • v0.1.2.0 Changes

    January 19, 2018

    ๐Ÿ”„ Changed

    * Logic files in the designated data directories can now be specified 
      without extension, but must not occur in a subdirectory.
    

    โœ‚ Removed

    * Many previously exposed internal functions are now hidden.
    
  • v0.1.1.0 Changes

    January 17, 2018

    โž• 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`.
    
  • v0.1.0.0 Changes

    January 17, 2018

    โž• Added

    * First versioned release. Although it is the first version, the 
      application has been incubating for a while and should be mostly stable. 
      The commit history will take you deeper into the past.