ucsd-progsys/liquid-fixpoint-ocaml

Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types

语言：Haskell · GitHub 星标：6 · Fork：0

在 GitHub 上查看原仓库