Turn on/off decidable tactics for Boolean algebra

advancedresearch / poi

a pragmatic point-free theorem prover assistant

Apache License 2.0

136 stars 7 forks source link

Open bvssvni opened 3 years ago

bvssvni commented 3 years ago

Sometimes you want to find a constructive proof if possible and/or compare it to proofs with decidable propositions.