Image for development of elykseer in OCaml and theorem proving in Coq; current version: v0.9.13
354
Sort by
TAG
Last pushed 7 days by codieplusplus
| Digest | OS/ARCH | Compressed size |
|---|---|---|
ee59de95dd7f | linux/amd64 | 1.37 GB |
d0e403dd4c31 | linux/arm64 | 1.4 GB |
TAG
Last pushed about 2 years by codieplusplus
| Digest | OS/ARCH | Compressed size |
|---|---|---|
1557b2c59d09 | linux/arm64/v8 | 2.5 GB |
TAG
Last pushed about 2 years by codieplusplus
| Digest | OS/ARCH | Compressed size |
|---|---|---|
63849360e695 | linux/amd64 | 2.42 GB |