Mathlib v3 is deprecated. Go to Mathlib v4

Def tidy.test.d

Modification history

2019-02-10 14:01

feat(tactic/tidy): add `tidy?` syntax for reporting a tactic script (#704)

Modified tidy.test.d View on Github →

2018-08-28 20:09

tests/tidy.lean

feat(tactic/tidy): add tidy tactic (#285)

Added tidy.test.d View on Github →