Adapt w.r.t. coq/coq#14684

mit-plv / fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

http://plv.csail.mit.edu/fiat/

Other

147 stars 31 forks source link

Closed ppedrot closed 3 years ago

ppedrot commented 3 years ago

Don't merge yet.

ppedrot commented 3 years ago

This needs to be merged now.

ppedrot commented 3 years ago

Ping.

JasonGross commented 3 years ago

Sorry for the delay, I wanted to make sure the repo was synced with our private one before merging

JasonGross commented 3 years ago

Merged now, thanks!