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

Estimated changes

added def eq_trans
added def nleq
added def nleq_trans