Theorem tactic.interactive.{u}
Modification history
2020-02-24 15:43
src/tactic/interactive.lean
feat(tactic/lint): support @[nolint unused_arguments] (#2041) …
Modified tactic.interactive.{u}View on Github →2019-10-19 19:57
src/tactic/interactive.lean
feat(tactic/lint): rename and refactor sanity_check (#1556) …
Modified tactic.interactive.{u}View on Github →