Image for development of elykseer in OCaml and theorem proving in Coq; current version: v0.9.13
1.5K
These are images of https://github.com/eLyKseeR/elykseer-ml - a formally specified & verified implementation of eLyKseeR in Coq / OCaml
Content type
Image
Digest
sha256:e30652862…
Size
2.1 GB
Last updated
6 days ago
docker pull codieplusplus/elykseer-ml