Image for development of elykseer in OCaml and theorem proving in Coq; current version: v0.9.13
2.1K
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:4f20e440f…
Size
2.3 GB
Last updated
3 days ago
docker pull codieplusplus/elykseer-ml