Commit 2024-07-19 06:15 b80dd1ba

View on Github →

chore: remove autoImplicit in five miscellaneous files (#14883)

Estimated changes

modified theorem Sat.Clause.reify_and
modified theorem Sat.Clause.reify_one
modified theorem Sat.Fmla.proof_of_subsumes
modified theorem Sat.Fmla.refute
modified theorem Sat.Fmla.reify_one
modified theorem Sat.Fmla.reify_or
modified theorem Sat.Literal.reify_neg
modified theorem Sat.Literal.reify_pos
modified theorem Sat.Valuation.mk_implies
modified def SlimCheck.Gen.resize
modified def SlimCheck.Gen.run