Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq - Laboratoire d'Analyse, Géométrie et Applications
Communication Dans Un Congrès Année : 2024

Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq

Thomas Lamiaux
  • Fonction : Auteur
  • PersonId : 1474800
Ecole Normale Supérieure Paris-Saclay
Pierre Rousselin
Laboratoire Analyse, Géométrie et Applications
CV
Théo Zimmermann
Autonomic and Critical Embedded Systems
Département Informatique et Réseaux

Résumé

We present the Coq Platform Docs project to document with interactive tutorials and how-to guides key features of Coq and its ecosystem.

Mots clés

Proof Assistant Coq

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
coq-platform-docs-coq-workshop-24.pdf (177.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Pierre Rousselin  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04823184

Soumis le : vendredi 6 décembre 2024-12:32:55

Dernière modification le : mercredi 11 décembre 2024-12:17:10

Télécharger pour visualiser

Dates et versions

hal-04823184 , version 1 (06-12-2024)

Identifiants

  • HAL Id : hal-04823184 , version 1

Citer

Thomas Lamiaux, Pierre Rousselin, Théo Zimmermann. Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq. The 15th Coq Workshop 2024, Clément Pit-Gaudel; Théo Winterhalter, Sep 2024, Tbilisi / Hybrid, Georgia. ⟨hal-04823184⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 UNIV-PARIS8 CNRS ENS-CACHAN LAGA INSMI LTCI INFRES ACES IP_PARIS UNIV-PARIS-LUMIERES SORBONNE-PARIS-NORD ENS-PARIS-SACLAY UNIV-PARIS8-OA ACT-R INSTITUT-MINES-TELECOM
0 Consultations
0 Téléchargements

Partager

More