ucsd-progsys

ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

152 stars 62 forks 152 watchers Haskell BSD 3-Clause "New" or "Revised" License

1 Open Issue Need Help Last updated: Sep 8, 2025

Open Issues Need Help

View All on GitHub

liquid-fixpoint tests fail when run from hackage 2 months ago

good first issue

ucsd-progsys/liquid-fixpoint

152

Horn Clause Constraint Solving for Liquid Types

Haskell