ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

HaskellStars 155Forks 64Watchers 155Open issues 43License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Ownerucsd-progsys

Homepage—

Last pushed2025-12-11

Last updated2025-12-15

Issues fetched at—

Community at a glance