mmottl/aifad

AIFAD - Automated Induction of Functions over Algebraic Data Types

语言：OCaml · GitHub 星标：30 · Fork：2

话题：algebraic-data-types · decision-trees · machine-learning · ocaml

在 GitHub 上查看原仓库