Mentions légales du service

Skip to content

Adapt w.r.t. coq/coq#16904.

Pierre-Marie Pédrot requested to merge pedrot/flocq:deprecate-elim-case-type into master

Merge request reports