Outils pour utilisateurs

Outils du site


doc:veille:coq

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

doc:veille:coq [2007/04/26 23:15]
lehobey créée
doc:veille:coq [2007/05/01 21:20] (Version actuelle)
lehobey
Ligne 1: Ligne 1:
 ====== Autour de coq ====== ====== Autour de coq ======
   * http://​lambdaman.blogspot.com/​2007/​04/​coqs-ness-nesses.html   * http://​lambdaman.blogspot.com/​2007/​04/​coqs-ness-nesses.html
 +  * http://​www.bononia.it/​~zack/​blog//​posts/​2007/​04/​coq_as_a_geek_toy.html
doc/veille/coq.txt · Dernière modification: 2007/05/01 21:20 par lehobey