Substitution Rules Param Inference (!136) · Merge requests · LARA / lisa

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/subst-rule-param-inf into main Feb 17, 2023

Adding one step term and formula rewrite checking

Currently integrated with RightSubstEq as apply2. Needs some more testing. Currently integrating with LeftSubstEq (which sounds like it could be problematic!) and modifying to work with Iff as well.

Substitution Rules Param Inference

Merge request reports