ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
141Updated this week

Related projects

Alternatives and complementary repositories for liquid-fixpoint