panagosg7 / liquid-fixpoint Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ucsd-progsys/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
License: BSD 3-Clause "New" or "Revised" License