Adapt to coq/coq#15802 - Githubissues

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 proux01 closed 2 years ago

JasonGross commented 2 years ago

For some reason CI did not run (AFAICT), I will close and re-open to see if that makes it run

proux01 commented 2 years ago

@JasonGross thanks, CI green