Feature request: use Docker-ized Coq toolchain
The Docker image [bbbrandenburg/prosa
] contains everything needed for POET. It would be nice to have an option --docker
to make POET use the containerized toolchain, which would avoid the need to have a local toolchain installed.