search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
131 stars 33 forks source link

Remove `Enum_rel` #1147

Closed Halbaroth closed 3 months ago

Halbaroth commented 3 months ago

We do not use this module anymore. I forgot to remove it in #1094.