Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-16 19:42 b0de694c

View on Github →

feat(tactic/tauto): improve coverage and performances of tauto (#180)

Estimated changes

Modified logic/basic.lean

added theorem iff_iff_and_or_not_and_not

Modified tactic/basic.lean

Modified tactic/interactive.lean

Created tactic/tauto.lean

Modified tests/examples.lean

Modified tests/tactics.lean