V8.18.0 · Tags · coq / coq · GitLab

Mentions légales du service

Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab

V8.18.0 protected

TASSI Enrico

f022d5d1 · Merge PR #18016: [release] bump version to 8.18.0 · Sep 07, 2023

Coq 8.18.0