Theorem foo
Modification history
2024-06-24 21:15
test/old_obtain.lean
feat: lint against stream-of-conciousness obtain syntax (#13220) …
Added fooView on Github →2024-05-02 13:42
test/RewriteSearch/Basic.lean
chore: move to v4.8.0-rc1 (#12548) …
Added fooView on Github →2023-11-09 13:54
test/reduce_mod_char.lean
feat: `reduce_mod_char` tactic for reducing numeric expressions in positive characteristic (#5376) …
Added fooView on Github →2023-09-05 07:06
test/SplitIfs.lean
chore: remove unnecessary imports in tactics (#6940) …
Modified fooView on Github →2023-07-18 03:33
test/SplitIfs.lean
feat: remove unnecessary `Classical.choice` in `split_ifs` (#5575) …
Added fooView on Github →2023-04-18 12:01
test/propose.lean
feat: `propose`, a forwards-reasoning analogue of `library_search`. (#2898) …
Added fooView on Github →2023-01-09 15:05
test/solve_by_elim/instances.lean
feat: refactor of solve_by_elim (#856) …
Added fooView on Github →