Skip to content
Snippets Groups Projects
  • SimonGuilloud's avatar
    15976bf5
    Quickfix (#83) · 15976bf5
    SimonGuilloud authored
    * Correct bug related to instantiatePredicateSchemas not instantiating variable formulas
    
    * Corrected bug linked to the equivalence checker no distinguishing schematic and constant symbols
    
    * removed the display parameter from kernel subproofs
    
    * Removed display option from subproof. Add back the missing RewriteTrue case in the printer. Correct issue with equivalence checker.
    
    * scalafix
    Quickfix (#83)
    SimonGuilloud authored
    * Correct bug related to instantiatePredicateSchemas not instantiating variable formulas
    
    * Corrected bug linked to the equivalence checker no distinguishing schematic and constant symbols
    
    * removed the display parameter from kernel subproofs
    
    * Removed display option from subproof. Add back the missing RewriteTrue case in the printer. Correct issue with equivalence checker.
    
    * scalafix