package

coq8.18-VST

Description

Verified Software Toolchain.

Metadata

Version

2.14

License

Unknown

Status

Source

pkgs/development/coq-modules/VST/default.nix:65

Homepage

https://vst.cs.princeton.edu/

Platforms (6)

Darwin

Linux

Show all

aarch64-darwin
aarch64-linux
riscv32-linux
riscv64-linux
x86_64-darwin
x86_64-linux