Cyril COHEN

Author's posts

(English) Talk by Claudio Sacerdoti Coen

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

(English) Talk by Tsvetan Chavdarov Dunchev

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

Exposé par Isabella Dramnesc (en anglais)

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

Séminaire Marelle: Proofs as documents: asynchronous interaction for Coq

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