LiquidHaskell

https://github.com/ucsd-progsys/liquidhaskell

LiquidHaskell is a formal verification tool for Haskell that refines types with logical predicates...

Tokens:281,937
Snippets:2,754
Trust Score:8.6
License:BSD-2-Clause
Update:2 months ago
Tokens:
Raw