(English) Proofs and reliable programming using Coq 2022

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

Les commentaires sont clos.