Skip to content

Proof transformations

Alexandre Esteban Sallinen requested to merge github/fork/lighthea/main into main

Adding some transformations for proofs, mainly "unconditionalizer" that removes imports to put them on the left side of conclusion.

Merge request reports