leanprover-community.github.io icon indicating copy to clipboard operation
leanprover-community.github.io copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Add documentation for running Lean in Docker container

Open bhpayne opened this issue 1 year ago • 0 comments

Instructions for Docker to supplement OS-specific versions

bhpayne avatar Jul 02 '23 14:07 bhpayne