GitHub repository: zhezhouzz/ADT-Lemma-Discovery
Primary language: OCaml
Description: Algebraic data type specification inference