Skip to content

ucsd-progsys/liquidhaskell

Error
Looks like something went wrong!

About

Liquid Types For Haskell

Topics

haskell verification refinement-types smt

Resources

Readme

License

BSD-3-Clause license
Activity
Custom properties

Stars

1.2k stars

Watchers

28 watching

Forks

147 forks
Report repository

Releases 15

First version to build with GHC 9.12.2 Latest
Mar 22, 2025
+ 14 releases

Packages

No packages published

Contributors 86
+ 72 contributors

Languages