Description
Formal Specifications for Verification and Synthesis.
package
formula-dotnet
Metadata
Version
2.0License
Maintainers (1)
Executables (2)
bin/CommandLinebin/formula
Platforms (4)
Darwin
Linux
Show all
aarch64-darwinaarch64-linuxx86_64-darwinx86_64-linux