The Coq mailing list

[Velasco Manu <manu.velasco AT caramail.com>]

Hello, I'm a spanish student and my english isn't very well, so I'm sorry
about my mistakes.

I start to work with coq recentely and before reading the tutorial I still
haven't found the way to do that I want to do, so I ask for the help of
experience programmers in coq.

I have a description in BNF format and I would like to implement it with
coq.

.. is that possible?
.. how can I start?
.. do you know examples for learn what to do?

Thank you very much.


_________________________________________________________Gagne une PS2 ! 
Envoie un SMS avec le code PS au 61166
(0,35 Euro Hors coût du SMS)