Concepedia

Publication | Open Access

The Coq proof assistant user's guide : version 5.6

Full Paper Access

124

Citations

0

References

1991

Year

Gilles Dowek, Amy Felty, Hugo Herbelin, Gérard Huet, Benjamin Werner, Christine Paulin-Mohring
HAL (Le Centre pour la Communication Scientifique Directe)

Abstract

pas de résumé