docker version - Githubissues

leanprover-community / lean4web

The Lean 4 web editor

https://live.lean-lang.org/

Apache License 2.0

52 stars 14 forks source link

Open lizhemin15 opened 2 weeks ago

lizhemin15 commented 2 weeks ago

maybe construct a docker image is easiler for us to deployment

Seasawher commented 2 weeks ago

using DevContainer?