feat: apply_rfl tactic: handle Eq, HEq, better error messages#3714
Merged
nomeata merged 21 commits intomasterfrom joachim/rfl-errorsSep 20, 2024
+503-12
Commits
Commits on Mar 19, 2024
Commits on Sep 10, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 11, 2024
- committed
- committed
Commits on Sep 15, 2024
Commits on Sep 16, 2024
Commits on Sep 18, 2024
- committed
- committed
- committed
- committed
- committed