Preview of ucsd-progsys/liquidhaskell

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

★ 1.3K Stars

⑂ 159 Forks

○ 1.3K Watchers

✖ 456 Issues

Haskell

haskell refinement-types smt verification

Last push: 8h ago

Created:

↗ View on GitHub

Loading additional information…