The Coq mailing list

[Michael Day <mikeday AT yeslogic.com>]

Michael Day wrote:
> 
> I'm new to Coq and having trouble proving some properties of this
> function:
> 

Thanks everyone for all the detailed and helpful tips, very much
appreciated.

It seems that I need to be more careful with my universal quantifications.
I'm still working my way through Coq'art, and still have a lot to learn
about induction and proofs.

While I'm here, what kind of topics are appropriate for discussion on this
mailing list? I'm interested in exploring how Coq can benefit programmers
who are used to traditional logic/functional languages like Mercury or
Haskell, if this is an appropriate forum for that.

Thanks again,

Michael
-- 
View this message in context: 
http://www.nabble.com/Induction-principle-for-folding-over-lists-tp14523344p14536391.html
Sent from the Coq mailing list archive at Nabble.com.