coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Velasco Manu <manu.velasco AT caramail.com>
- To: "coq-club" <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] help for a begginer 2: Implementation from a BNF description
- Date: Thu, 05 Jun 2003 13:58:55 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
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)
- [Coq-Club] help for a begginer 2: Implementation from a BNF description, Velasco Manu
Archive powered by MhonArc 2.6.16.