mcoq icon indicating copy to clipboard operation
mcoq copied to clipboard

Published 20 hours ago • verified publisher icon EngineeringSoftware

Support for Coq 8.11

Open anton-trunov opened this issue 5 years ago • 2 comments

I have a project I'd like to try mCoq on, but it does not build under anything < 8.11. Are there any plans to support Coq 8.11?

anton-trunov avatar May 14 '20 17:05 anton-trunov

We hope to support 8.11 at least in time for the presentation of our tool paper at ICSE 2020, but it's difficult to give a more specific timeframe right now. We'll be sure to let you know when a new release happens.

palmskog avatar May 14 '20 18:05 palmskog

Great! Looking forward to it.

anton-trunov avatar May 14 '20 18:05 anton-trunov