Image of binaries of elykseer in OCaml (extracted code from Coq)
225
These are images of compiled binaries from https://github.com/eLyKseeR/elykseer-ml - a formally specified & verified implementation of eLyKseeR in Coq / OCaml
Content type
Image
Digest
sha256:041e36a57…
Size
241.1 MB
Last updated
over 2 years ago
docker pull codieplusplus/elykseer-ml-binaries:amd64