Structure Foo

Modification history

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 →