marcoonroad / subtype-refinement
Refinement types encoded with private types in OCaml.
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for subtype-refinement
- An OCaml EDSL for describing and solving strategic games