Skip to Content.
Sympa Menu

coq-club - [Coq-Club] help for a begginer 2: Implementation from a BNF description

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] help for a begginer 2: Implementation from a BNF description


chronological Thread 
  • 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)





Archive powered by MhonArc 2.6.16.

Top of Page