Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: Images en Caml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Gerard Huet <Gerard.Huet@i...>
Subject: Re: Images en Caml
On pourrait effectivement faire un fond d'ecran avec Coq montrant une petite
preuve sous CTCoq avec une fenetre faisnt le pretty-print de la preuve en
francais. Soit sur une appli a Ledinot soit sur un bout de specif C-SET
(Bolignano - avec un petit cocorico sur Commerce Electronique et caml
au secours du oueb ;-)
soit reprendre ma vieille demo du tour de carte pour avoir qq couleurs.
Yves (Bertot), es tu a l'ecoute?
Gerard Huet