Revenir à la cartographie

Fiche Logiciel - Coquelicot

Coquelicot

Bibliothèque Coq conviviale pour l'analyse réelle

Site web

Discipline(s): Non renseigné

Domaine(s) d'application: Non renseigné

Mot(s)-clé(s): Non renseigné

Contributeur(s) (0)

Aucun développeur associé.

Contact : Contact non renseingé

Équipe(s) (1)

Vérification d'Algorithmes, Langages et Systèmes (VALS (LRI))

Laboratoire(s) (0)

Aucun laboratoire associé.

Revenir à la cartographie