ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.
Download
manta - 3.1 beta 6
Last Update: Jul 03 2001
©Copyright 1999-2008 - SourceForge, Inc., All Rights Reserved