package

formula-dotnet

Description

Formal Specifications for Verification and Synthesis.

Metadata

Version

2.0

License

Status

Source

pkgs/by-name/fo/formula/package.nix:40

Homepage

https://github.com/VUISIS/formula-dotnet

Maintainers (1)

Siraphob Phipathananunth

Executables (1)

bin/formula

Platforms (3)

Darwin

Linux

Show all

aarch64-darwin
aarch64-linux
x86_64-linux