Docker image for https://github.com/kframework/evm-semantics/ - View it on GitHub