coqtail's logo
French English

Coqtail

COQ Theorems, Abstractions and Implementations (Bachelor-Level)

News

[26 août] Talks @ Coq workshop sur une axiomatique constructive pour ℝ et la résolution d'équations différentielles par reflection

[31 juillet] Talk @ THedu sur les séries entières en Coq.

[2010-11] COQTAIL est maintenant un laboratoire junior de l'ENS Lyon.

[07 avril] La première révision est maintenant disponible ! Vous pouvez la télécharger ici.

Origine & Objectifs

Le projet COQTAIL est le fils biologique du groupe de travail `Preuves` du projet COQUILLE. Il se fonde donc sur l'intégralité des résultats obtenus lors du semestre de développement de COQUILLE.

En plus d'implémenter des outils permettant une formalisation aisée des mathématiques abordées en classes préparatoires, ce projet tâchera également de démontrer des résultats de niveau licence.

Axes de développements