Training in Coq

Aim: The goal of this training is that participants to learn the basic notions for certifying algorithms in Coq.

Hosting institution: Universite de Lorraine, Metz, France

Period: 21.03.2022 – 25.03.2022

Duration: 5 days

Program