Mathlib Changelog
v4
Changelog
About
Github
Def
Mathlib.Tactic.Tauto.tautology
Modification history
2023-08-02 16:24
Mathlib/Tactic/Tauto.lean
feat: improve error messages of `tauto` (#5965) …
Modified
Mathlib.Tactic.Tauto.tautology
View on Github →
2022-12-21 04:17
Mathlib/Tactic/Tauto.lean
feat: implement basic version of tauto tactic (#1081) …
Added
Mathlib.Tactic.Tauto.tautology
View on Github →