You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
more compact representation for the z3 counterexample#297
Merged
teorth merged 1 commit intoteorth:mainteorth/equational_theories:mainfrom dwrensha:z3-matrixdwrensha/equational_theories:z3-matrixCopy head branch name to clipboardOct 5, 2024
