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#8844 (move abstract out of tactics.ml) #16

Closed SkySkimmer closed 6 years ago

ppedrot commented 6 years ago

Upstream PR merged, please merge this one quickly.

ppedrot commented 6 years ago

Ping.