jagiellonian/frege-analyzer-cpp
418
Sort by
TAG
Last pushed about 3 years by micpiotrowski
docker pull jagiellonian/frege-analyzer-cpp:latest
Digest | OS/ARCH | Compressed size |
---|---|---|
6d0b2a4f8944 | linux/amd64 | 332.43 MB |
TAG
Last pushed about 4 years by tomaszjanik
docker pull jagiellonian/frege-analyzer-cpp:1.0.0
Digest | OS/ARCH | Compressed size |
---|---|---|
6d0b2a4f8944 | linux/amd64 | 332.43 MB |