Image for development of elykseer in OCaml and theorem proving in Coq; current version: v0.9.13
354
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:2cfb6419b…
Size
1.4 GB
Last updated
7 days ago
docker pull codieplusplus/elykseer-ml:base_1