preprintHAL (Le Centre pour la Communication Scientifique Directe)Jan 1, 2004Closed access

Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.

PCPierre CastéranYBYves Bertot

Laboratoire Bordelais de Recherche en Informatique

Abstract

No abstract available for this paper.

Citation impact

1,096
total citations
FWCI
14.56
Percentile
100%
References
0
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Calculus (dental)
  • Development (topology)
  • Inductive method
  • Computer science
  • Programming language
  • Mathematics
  • Mathematics education
  • Teaching method
No related works found for this paper.