Stream: Coq users

Topic: convert code version 7.4 to version 8.12.2


view this post on Zulip Huong Vu (Dec 22 2020 at 07:07):

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!!!

view this post on Zulip Théo Zimmermann (Dec 22 2020 at 08:54):

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.

view this post on Zulip Théo Zimmermann (Dec 22 2020 at 08:55):

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: Jan 27 2023 at 02:04 UTC