Beta Ziliani gave an introductory course on Coq in the anual winter school ECI 2014. For more information please click here.Beta Ziliani gave an introductory course on Coq in the anual winter school ECI 2014. For more information please click here.Beta Ziliani gave an introductory course on Coq in the anual winter school ECI 2014. For more information please click here.