ucsd-progsys/liquidhaskell

Liquid Types For Haskell

语言：Haskell · GitHub 星标：1,338 · Fork：167

话题：haskell · refinement-types · smt · verification

在 GitHub 上查看原仓库