Skip to content

Substitutions

Viktor Kuncak requested to merge substitutions into main

Created by: SimonGuilloud

Simple tactic for substitution of equals for equals and equivalent for equivalents. Some corrections in the EquivalenceChecker Moved InstantiateBinder to helpers. Some more improvements regarding tactics and proof steps.

Merge request reports