StackOverflow Questions for Tag: coinduction

larsr
larsr

Reputation: 5811

Proving a Co-Inductive property (lexical ordering is transitive) in Coq

Score: 3

Views: 210

Answers: 1

Read More
MaiaVictor
MaiaVictor

Reputation: 52967

How to create the `enumFromTo` function on Morte?

Score: 3

Views: 336

Answers: 1

Read More
PreviousPage 3Next