alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

Refactoring `Adt_rel` using domains on class representatives only

Open Halbaroth opened this issue 3 months ago • 0 comments

This PR is rebased on #1078 and #1086.

Halbaroth avatar Apr 02 '24 16:04 Halbaroth