English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: Pml

Pml

PML will be a proof assistant based on a variant of the ML programming language which should also allow to write mathematics.
Homepage ]
Author:Christophe Raffali.
Last modification date:07-May-2007
Development status:Alpha
Kind: Development tools
Applications written in Caml :: Scientific software
Topic: Science :: Maths and Logic
Homepage:http://www.lama.univ-savoie.fr/~raffalli/pml