Commit 2022-10-22 16:26 5ad3946a
View on Github →feat: symm
and trans
tactics (#253)
I have implemented a symm tactic, using annotations for symm rules. This follows (including using code from) the ext implementation.
I also have a couple of test examples