Theorem Sat.Fmla.reify_one

Modification history

2024-07-19 06:15

Mathlib/Tactic/Sat/FromLRAT.lean

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

Modified Sat.Fmla.reify_one View on Github →

2022-03-10 10:43

Mathlib/Tactic/Sat/FromLRAT.lean

feat: LRAT proof replay (#222) …

Added Sat.Fmla.reify_one View on Github →