(English) Two new winter schools on Coq

Désolé, cet article est seulement disponible en Anglais Américain.