Def foo
Modification history
2024-11-27 12:13
MathlibTest/Lint.lean
chore: move style linters to `Style` (#19529) …
Modified fooView on Github →2024-11-03 18:36
test/help_cmd.lean
chore: move `#help` to Batteries (batteries#969) (#17257)
Deleted fooView on Github →2024-05-29 15:57
test/attributeInstanceIn.lean
fix: extend attributeInstanceIn linter to lint all global attributes declared with `in` (#13293) …
Deleted fooView on Github →2024-05-26 13:31
test/attributeInstanceIn.lean
feat: lint `attribute [instance] instName in` (#13190) …
Added fooView on Github →2024-02-21 19:28
test/fun_prop_dev.lean
fix: refactor of `fun_prop` and several bug fixes (#10724) …
Added fooView on Github →2024-02-05 20:21
test/fun_prop2.lean
chore(fun_prop): move examples to a separate test file (#10281) …
Added fooView on Github →2023-12-17 23:56
test/help_cmd.lean
fix: use colGt in `#help` parser (#9128) …
Added fooView on Github →2023-09-20 04:57
test/rewrites.lean
chore(test/*): add `test_sorry` axiom in tests to make them less noisy (#6868) …
Deleted fooView on Github →2023-08-28 05:30
test/Change.lean
fix(test/{ Change - change }): merge the files test/Change and test/change (#6821) …
Modified fooView on Github →2023-01-22 01:26
test/norm_num.lean
feat: `=`, `≠`, `<`, and `≤` functionality for `norm_num` (#1568) …
Deleted fooView on Github →2022-11-22 21:55
test/simp_trace.lean
chore: remove upstreamed tactics 11-21 (#684)
Deleted fooView on Github →