The Coq mailing list

["Alfonso Nishikawa" <alfonso.nishikawa AT gmail.com>]

Hi to all !
I'm new with Coq. In the college I have a subject in wich we have to learn Coq as theorem proof languaje (isn't it ;), but I CAN'T UNDERSTAND IT!!! :_( *snif*
I have tried to read Coq'Art, but in the fourth chapter I get lost :_(
I have tried to read Coq in a Hurry, but in the n-th page I get lost :___(
I have tried to learn lambda calculus, Intuitionistic logic, etc... and in the (1-n)-th page I... :______(
I feel like a dumb :P I see how my classroom-colleague understands how it works, but I don't. How does intuitionistic logic works?? How does Tactics works internally? I really see them without sense (obviously, the have...), but I feel bad... if a computer can do it, why can't I do it??? What do I have to know? Maybe I can't understand it because I don't learn things without understanding them completely... :P
I think I may not be stupid, I am a Mensa Spain member ;) but this must be for genius!!! :S
Please, help me (I'm not intelligent enough) !

Alfonso Nishikawa