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

Authors

Institutions

Publication Details

Journal
SPIRE - Sciences Po Institutional REpository
Published
2024-09-14
Primary Topic
Wikis in Education and Collaboration
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

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

Théo Zimmermann, Thomas Lamiaux, Pierre Rousselin
SPIRE - Sciences Po Institutional REpository
Wikis in Education and Collaboration
article

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

Théo Zimmermann, Thomas Lamiaux, Pierre Rousselin
article en

Abstract

No abstract available for this paper.
SPIRE - Sciences Po Institutional REpository
École Normale Supérieure Paris-Saclay (FR), Télécom Paris (FR), École Normale Supérieure - PSL (FR), Laboratoire Analyse, Géométrie et Applications (FR), Laboratoire de Biologie et Pharmacologie Appliquée (FR)
Quality Education
Openalex Percentile: Top 69%
Wikis in Education and Collaboration
Open Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq — Théo Zimmermann, Thomas Lamiaux, et al. · SPIRE - Sciences Po Institutional REpository (2024) | TGRS Research Map | TGRS