Home
Projects
ucsd-progsys
liquid-fixpoint
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
View on GitHub
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