Structure Foo

Modification history

2026-09-03 17:31
MathlibTest/Linter/InternalConstructor/Source.lean
feat: linter for internal constructors (#42883) …
Added FooView on Github →
2026-05-28 11:17
MathlibTest/Linter/AuxLemma.lean
feat(Tactic/Linter): add `auxLemma` linter for auto-generated declaration references (#37364) …
Added FooView on Github →
2024-05-23 02:18
test/aesop_cat.lean
feat(CategoryTheory): aesop_cat uses sorry if there is a sorry in the goal (#13110) …
Added FooView on Github →
2023-10-19 08:30
test/rfl.lean
chore: bump dependencies (#7767)
Deleted FooView on Github →
2022-09-30 18:23
test/rfl.lean
feat: Extend `rfl` tactic to use `refl` attribute. (#436) …
Added FooView on Github →
2022-07-20 00:54
test/fconstructor.lean
feat: port fconstructor (#315) …
Added FooView on Github →