Skip to content

convert epsilon to notation to avoid unfolding it

Kimaya Bedarkar requested to merge kbedarka/rt-proofs:notation into master

ε blocks lia sometimes since lia can not look through definitions. However if ε is declared as a notation then lia can look through it.

Edited by Kimaya Bedarkar

Merge request reports