Replies: 3 comments
-
|
This depends on who would be doing it. It is definitely non-trivial, but doable. If you are looking for an estimation in terms of time: At least several weeks. |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
Do you plan to add support for Coq-Tactician-API in version 8.18? Recently, many projects and datasets have been based on 8.18. |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
There are plans to do so, but I cannot currently tell you a date when this will be finished. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Could you please estimate the approximate effort required to modify the coq-tactician-api to be compatible with Coq 8.18?
Beta Was this translation helpful? Give feedback.
All reactions