Abstract : We describe the basic notions of co-induction as they are available in the coq system. As an application, we describe arithmetic properties for simple representations of real numbers.
https://cel.archives-ouvertes.fr/inria-00001174
Contributeur : Yves Bertot
<>
Soumis le : mardi 28 mars 2006 - 17:13:03
Dernière modification le : jeudi 11 janvier 2018 - 16:39:51
Document(s) archivé(s) le : samedi 3 avril 2010 - 21:31:41
