longvunguyen1511/lean4web repository overview

docker run --rm -it -p 8080:8080 --privileged longvunguyen1511/lean4web:latest