restored some broken proofs; tuning performance by choice of faster automated built-in provers
tuning performance by choice of faster automated built-in provers
tuning performance by choice of faster automated built-in provers
restored some broken proofs; tuning performance by choice of faster automated built-in provers
explicit unfolding improves proof performance