Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq - Equipe Autonomic and Critical Embedded Systems
Conference Papers Year : 2024

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

Abstract

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

Keywords

Proof Assistant Coq

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
coq-platform-docs-coq-workshop-24.pdf (177.95 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Pierre Rousselin  : Connect in order to contact the contributor

https://hal.science/hal-04823184

Submitted on : Friday, December 6, 2024-12:32:55 PM

Last modification on : Wednesday, December 11, 2024-12:17:10 PM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-04823184 , version 1

Cite

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⟩

Export

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 View
0 Download

Share

More