Numerical argument for auto
Write a goal in minimal proppsitional logic, solvable with
auto 6
, but not with
auto
(which is
auto 5
).
Solution
Look at this file
Going home
Pierre Castéran