ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.
There are no reported vulnerabilities
30 Day SummaryOct 7 2024 — Nov 6 2024
|
12 Month SummaryNov 6 2023 — Nov 6 2024
|