package

coq9.1-VST

Description

Verified Software Toolchain.

Metadata

Version

2.17

License

Unknown

Status

Source

pkgs/development/rocq-modules/VST/default.nix:101

Homepage

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

Platforms (5)

Darwin

Linux

Show all

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