Install

All systems

curl cmd.cat/mir_proving_server.sh

Ubuntu

apt-get install mir-demos

Fedora

dnf install mir-demos

Windows (WSL2)

sudo apt-get update sudo apt-get install mir-demos

Dockerfile

dockerfile.run/mir_proving_server