Formalisation en Coq


d'un cours de géométrie
pour le lycée

Frédérique GUILHOT

Professeur agrégée de mathématiques

INRIA Sophia Antipolis

Projet Lemme

JFLA 2004