Le projet Coquille a pour objectif d'automatiser la résolution des exercices de mathématiques des classes préparatoires.
Coquille (Coq User-Interactive Library Learning Expert) est élaboré à partir de l’assistant de preuves Coq par des M1 d'Informatique Fondamentale de l'ÉNS Lyon. L’objectif est en somme d’élargir la portée de Coq aux mathématiques de classes préparatoires, et à des mathématiciens non forcément experts en calcul des constructions et en théorie des types.

Champs d'investigation

Faciliter l'implémentation de preuves formelles

Résoudre des problèmes de niveau prépa

Valid XHTML 1.1 CSS Valide !

Nous contacter - Dernières modifications : novembre 2009