lukstafi/invargent

Invariant Generation as Type Inference with GADTs and Existentials

语言：OCaml · GitHub 星标：18 · Fork：1

在 GitHub 上查看原仓库