[Easycrypt-club] infos suplementaires

Jospin KOUENEZI joelkouenezi at gmail.com
Ven 20 Avr 17:10:29 CEST 2012


merci
pour la version de coq:

 jospin at jospin-HP-620:~$ coqc -v
The Coq Proof Assistant, version 8.2pl3 (April 2012)
compiled on avril 20 2012 06:40:19 with OCaml 3.11.2

j'utilise

Linux jospin-HP-620 2.6.35-22-generic #33-Ubuntu SMP Sun Sep 19 20:34:50
UTC 2010 i686 GNU/Linux
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/easycrypt-club/attachments/20120420/6a3af470/attachment.html>


More information about the Easycrypt-club mailing list