https://github.com/rowandavies/sml-cidre
GitHub - rowandavies/sml-cidre: SML Checker for Intersection and Datasort Refinements (pronounced...
SML Checker for Intersection and Datasort Refinements (pronounced "cider") - rowandavies/sml-cidre
githubsmlcidrechecker