Telecharger Cours

Formalisation en Coq et visualisation d'un cours de géométrie pour ...

L'enseignement du raisonnement déductif se faisant principalement dans les cours de géométrie, il est donc naturel de penser à utiliser l'outil Coq pour faire ...



Download