CoInduction in Coq

Details CoInduction in Coq CoInduction in Coq

2006-03-29

arxiv.org/abs/cs/0603119v1

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

CoInduction in Coq does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with CoInduction in Coq, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and CoInduction in Coq will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-585853