Browse thread
Re: Status of the OCaml Mathematical Framework
- Alexandre Chapoutot
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2010-02-19 (13:21) |
From: | Alexandre Chapoutot <alexandre.chapoutot@l...> |
Subject: | Re: Status of the OCaml Mathematical Framework |
Dear Jon, We are sorry to report that due to a lack of time we are not able to pursue the developpment of this library. Nevertheless we still hope working on it again. Best regards Olivier Bouissou and Alexandre Chapoutot > This was a promising project from the Jane St Summer Projects 2007 > that > released a 0.1 but I haven't seen anything since: > > http://sourceforge.net/projects/ocaml-mf/ > > What is the current status of this project? Is anyone using it? > > -- > Dr Jon Harrop, Flying Frog Consultancy Ltd. > http://www.ffconsultancy.com/?e >