Work

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

Year: 2024

Type: conference-paper

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Lamiaux, Thomas, Rousselin, Pierre, Zimmermann, Théo

Institutions: École Normale Supérieure Paris-Saclay, Laboratoire Analyse, Géométrie et Applications, Télécom Paris

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4405299685

FWCI:

Cites:

Cited by:

Related to: 10