package fstar
Verification system for effectful programs
Install
dune-project
Dependency
Authors
Maintainers
Sources
v2025.08.07.tar.gz
md5=d1b088182e4cc0753c39a11d042f0837
sha512=d42966b2c6b5addd132499732a3a6eabc555a53218941dba7e12a2001ed7ebfe90a15a68bd6a482d6338da26a47bc80108b0124e484e24846f6f30ecb9845bfe
On This Page