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

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 1 year ago

SkySkimmer commented 1 year ago

Please merge now

JasonGross commented 1 year ago

The dev build is still failing? How long does it take for the docker image to update?