Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

The Coq proof assistant : reference manual, version 6.1

1997985 citationsJournal Articlegreen Open Access

Authors

Cristina Cornes

Judicaël Courant

Jean-Christophe Filliâtre

Eduardo Giménez

Catherine Parent

Christine Paulin-Mohring

Amokrane Saïbi

Abstract

Projet COQ

Topics & Keywords

Mathematics, Computing, and Information Processing

Publication Details

Published in: OpenGrey (Institut de l'Information Scientifique et Technique)

Field-Weighted Citation Impact: 47.73

The Coq proof assistant : reference manual, version 6.1 | Researchclopedia

Benjamin Werner