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
Contributor : Yves Bertot
<>
Submitted on : Tuesday, March 28, 2006 - 5:13:03 PM
Last modification on : Wednesday, September 12, 2018 - 1:16:40 AM
Long-term archiving on : Saturday, April 3, 2010 - 9:31:41 PM
