Mentions légales du service

Skip to content

updated coq proofs

MARCHE Claude requested to merge upgrade_coq_8_11_to_8_16 into master

Upgrade some of the Coq proofs with coq 8.11 to coq 8.16, which is the one of Debian stable now

Merge request reports

Loading