I know there is a long term goal to integrate Equations and Program.
We have some code that still uses Program, should we try and port it to Equations?
Program hasn't even been discussed for deprecation, to my knowledge. Only
So the standard response from the Coq Platform side is: both
Program and Equations are supported going forward, use whatever you think is best for you. (Also holds for
Function, since no deprecation decision has been made)
Last updated: Jan 29 2023 at 15:02 UTC