zhengyao-lin / k0

Slim builds of the K framework: https://github.com/kframework/k. Docker Hub: https://hub.docker.com/r/zl38/k0

Slim docker images of the K framework

docker build --build-arg k_version=master .