Mathlib v3 is deprecated. Go to Mathlib v4

Def bar.foo

Modification history

2020-03-22 17:01
test/doc_commands.lean
feat(tactic/doc_commands): allow doc strings on add_tactic_doc (#2201) …
Added bar.fooView on Github →
2020-02-24 15:43
test/lint.lean
feat(tactic/lint): support @[nolint unused_arguments] (#2041) …
Modified bar.fooView on Github →
2019-10-19 19:57
test/lint.lean
feat(tactic/lint): rename and refactor sanity_check (#1556) …
Modified bar.fooView on Github →
2019-09-25 18:11
test/sanity_check.lean
feat(sanity_check): improvements (#1487) …
Added bar.fooView on Github →