by obouissou
OMF provides an open source OCAML library which unites formal and numerical computations in a single tool. This library provides a common data representation of expressions that lets the user switch painlessly from one world to the other.
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use