alt-ergo
alt-ergo
copied to clipboard
Published
20 hours ago
•
OCamlPro
Reame
Issues
Support model generation for ADT
Open
Halbaroth
opened this issue 10 months ago
• 1 comments
Oct 13 '23 12:10
Halbaroth
Linking #211 as this is one of the sub-tasks in that issue
Oct 13 '23 12:10
bclement-ocp