Inductive Foo

Modification history

2026-02-01 13:22
MathlibTest/cc.lean
chore: move `cc` to another repository (#34669) …
Deleted FooView on Github →
2024-05-21 12:14
test/cc.lean
feat: port `cc` tactic (3/3) (#5938) …
Added FooView on Github →
2022-02-07 12:43
test/cases.lean
feat: cases' and induction' tactics (#183) …
Added FooView on Github →