search

mit-plv / fiat

Mostly Automated Synthesis of Correct-by-Construction Programs
http://plv.csail.mit.edu/fiat/
Other
147 stars 31 forks source link

Adapt to coq/coq#14986 (setoid_rewrite nondep assumptions under binders) #58

Closed SkySkimmer closed 3 years ago

SkySkimmer commented 3 years ago

Not sure if we want to massage this into being backwards compatible.