Merge `Records` theory into `ADT` theory - Githubissues

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

Merge `Records` theory into `ADT` theory #1095

Open Halbaroth opened 4 months ago

Halbaroth commented 4 months ago

This PR solves #1008