/ADT-Lemma-Discovery

Algebraic data type specification inference

Primary LanguageOCaml

Stargazers