GitHub repository: woehr/liquid-fixpoint
Primary language: Haskell
Description: Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types