PML : Proved ML or Programmable Mathematical Logic
La page web
User's manual
Chronique de naissance (liste de mails en français)