lisa icon indicating copy to clipboard operation
lisa copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

Small fixes to tests and congruence

Open SimonGuilloud opened this issue 8 months ago • 0 comments

Small bug fixes to tests and minor improvements to egraph/congruence tactic.

SimonGuilloud avatar Jun 25 '24 11:06 SimonGuilloud