Turn off reductions in Poi-Reduce

advancedresearch / poi

a pragmatic point-free theorem prover assistant

Apache License 2.0

136 stars 7 forks source link

Turn off reductions in Poi-Reduce #980

Open bvssvni opened 3 years ago

bvssvni commented 3 years ago

It would be nice to be able to turn off reductions in Poi-Reduce. Instead of the reductions being applied automatically, one can get listed reductions as alternatives below equivalent alternatives.