This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Commit 893ce8b

and

committed

feat(tactic/norm_fin): tactic for normalizing fin n expressions (#5820)

This is based on #5791, with a new implementation using the `normalize_fin` function. Co-authored-by: Mario Carneiro <di.gama@gmail.com>

1 parent 75a7ce9 commit 893ce8bCopy full SHA for 893ce8b

3 files changed

+632

-0

lines changed

+632

-0

lines changed

Comments

(0)