updated coq proofs
Upgrade some of the Coq proofs with coq 8.11 to coq 8.16, which is the one of Debian stable now
GitLab upgrade completed. Current version is 18.5.4
https://about.gitlab.com/releases/2025/09/18/gitlab-18-4-released/
https://about.gitlab.com/releases/2025/10/16/gitlab-18-5-released/
Upgrade some of the Coq proofs with coq 8.11 to coq 8.16, which is the one of Debian stable now