Preview of ucsd-progsys/liquidhaskell

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

★ 1.3K Stars

⑂ 167 Forks

○ 1.3K Watchers

✖ 461 Issues

Haskell

haskell refinement-types smt verification

Last push: 13d ago

Created:

↗ View on GitHub

Loading additional information…