Def bar
Modification history
2025-06-17 18:33
MathlibTest/CommandStart.lean
feat: a linter to enforce formatting (#24465) …
Added barView on Github →2025-03-18 15:10
MathlibTest/LintStyle.lean
feat: linter for bare `open (scoped) Classical` (#21947) …
Added barView on Github →2024-05-29 15:57
test/attributeInstanceIn.lean
fix: extend attributeInstanceIn linter to lint all global attributes declared with `in` (#13293) …
Deleted barView on Github →2024-05-26 13:31
test/attributeInstanceIn.lean
feat: lint `attribute [instance] instName in` (#13190) …
Added barView on Github →2024-02-21 19:28
test/fun_prop_dev.lean
fix: refactor of `fun_prop` and several bug fixes (#10724) …
Added barView on Github →2024-01-30 16:52
test/classical.lean
chore: remove classical, it has been moved to Std (#10121)
Deleted barView on Github →2023-04-18 12:01
test/propose.lean
feat: `propose`, a forwards-reasoning analogue of `library_search`. (#2898) …
Added barView on Github →2022-11-22 21:55
test/simp_trace.lean
chore: remove upstreamed tactics 11-21 (#684)
Deleted barView on Github →