Closed SimonGuilloud closed 1 week ago
Small bug fixes to tests and minor improvements to egraph/congruence tactic.
Small bug fixes to tests and minor improvements to egraph/congruence tactic.