| Liquid Haskell | |
|---|---|
| Original authors | Niki Vazou, Eric Seidel Ranjit Jhala |
| Initial release | 2014; 12 years ago (2014) |
| Stable release | 0.9.12.2 / March 22, 2025; 10 months ago (2025-03-22) |
| Written in | Haskell |
| Available in | English |
| Type | Formal program verifier |
| License | BSD 3-clause |
| Website | ucsd-progsys |
| Repository | github |
Liquid Haskell is aprogram verifier for theprogramming languageHaskell which allows specifying correctness properties by usingrefinement types.[1][2] Properties are verified using asatisfiability modulo theories (SMT) solver which isSMTLIB2-compliant, such as theZ3 Theorem Prover.
Haskell programming | |||||
|---|---|---|---|---|---|
| Software |  | ||||
| Book | |||||
| Community |
| ||||
 | Thisformal methods-related article is astub. You can help Wikipedia byadding missing information. |
.svg){kind=logo} | Thisfree and open-source software article is astub. You can help Wikipedia byadding missing information. |
