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 |