ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.
Be the first to post a text review of ManTa. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Be the first person to add a text review.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?