Def bar
Modification history
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 →