search

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
132 stars 60 forks source link

Remove allow newer #689

Closed philderbeast closed 3 months ago

philderbeast commented 3 months ago
facundominguez commented 3 months ago

Much appreciated!