package coq-kami
A work-in-progress language and compiler for verified low-level programming
Install
Dune Dependency
Authors
Maintainers
Sources
v0.0.3.tar.gz
sha512=c76f047b4ade255ce22d1a25a702e69a9ae213e50b7cf3f754c32a80e3fb38ec0f4dda6217e9f34176033f6079efb0ab91b74d3e96f377c65f870f03b8d43a9d
Description
On This Page