Skip to content

Multiset egraph - #52

Merged
folivetti merged 201 commits into
mainfrom
multiset-egraph
Oct 2, 2026
Merged

folivetti merged 201 commits into
mainfrom
multiset-egraph

merge conflicts

2f85a1b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Build / macOS / macosx-arm64
succeeded Oct 2, 2026 in 28m 33s