« PML » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 3 : | Ligne 3 : | ||
[http://www.lama.univ-savoie.fr/~raffalli/pml La page web] |
[http://www.lama.univ-savoie.fr/~raffalli/pml La page web] |
||
[ |
[http://www.lama.univ-savoie.fr/~raffalli/pml/manual.pdf User's manual] |
||
[[ Chronique de naissance (liste de mails en français) ]] |
[[ Chronique de naissance (liste de mails en français) ]] |
||
Version du 11 décembre 2007 à 20:29
PML : Proved ML or Programmable Mathematical Logic