Hello. I try to fix and convert file coq from ver 7.4 to ver 8.12.2. But i can't. So, i find somebody to help my problem. Please!!!
The first difficulty you will face is that version 7.4 uses a different syntax. It might be a good strategy to port your code to intermediate versions first, starting with 8.0, which contained an automatic syntax translator. You can get old Coq versions thanks to opam.
Also, if you are not comfortable in English, note that you can also ask questions in other languages in our Discourse forum: https://coq.discourse.group/ (there's a Chinese category in particular).
Last updated: Oct 13 2024 at 01:02 UTC