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