Commit 2018-10-30 12:24 90982d7c
View on Github →feat(tactic/fin_cases): a tactic to case bash on fin n (#352)
- feat(tactic/fin_cases): a tactic to case bash on
fin n - using core is_numeral
- removing guard just rely on eval_expr to decide if we have an explicit nat
- add parsing, tests, documentation
- don't fail if the rewrite fails
- fixes