 |
 |
 |
Lectures
CoInduction in Coq
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.
Cited literature [19 references]
https://cel.archives-ouvertes.fr/inria-00001174
Contributor : Yves Bertot <>
Submitted on : Tuesday, March 28, 2006 - 5:13:03 PM
Last modification on : Thursday, January 7, 2021 - 3:40:05 PM
Long-term archiving on: : Saturday, April 3, 2010 - 9:31:41 PM
Contributor : Yves Bertot <>
Submitted on : Tuesday, March 28, 2006 - 5:13:03 PM
Last modification on : Thursday, January 7, 2021 - 3:40:05 PM
Long-term archiving on: : Saturday, April 3, 2010 - 9:31:41 PM