ManTa

beta

felipetrujillo, g-leyva, vtamara

Download manta-3.1b6.tar.gz

Browse All Files

Windows Mac Linux

Description

ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.

Categories

Scientific/Engineering, Software Development

License

GNU General Public License version 2.0 (GPLv2), Public Domain

Update Notifications

Write a Review

User Reviews

Be the first to post a review of ManTa!

Additional Project Details

Languages

English, Spanish

Intended Audience

Developers, Education, Science/Research

Programming Language

Registered

2001-05-04