Liquid Haskell
id:
liquid-haskell-292-15378064
title:
Liquid Haskell
text:
Liquid Haskell is a program verifier for the programming language Haskell which allows specifying correctness properties by using refinement types. Properties are verified using a satisfiability modulo theories (SMT) solver which is SMTLIB2-compliant, such as the Z3 Theorem Prover.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Liquid_Haskell
date created:
date modified:
2024-01-11T15:28:56Z
main entity:
{"identifier":"Q65087872","url":"https://www.wikidata.org/entity/Q65087872"}
image:
fields total:
13
integrity:
13