ucsd-progsys/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
167 stars71forks39issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
7 of 11outside PRs merged (64%)
checked
ucsd-progsys/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
Outside contributors get real replies here, and their work gets merged.
7 of 11outside PRs merged (64%)
checked
Where newcomer work lands
The evidence