Missing Licence #8
Description
Is the LEAN 3 web editor Open source? because the GitHub repo does not have a licence?
is it Apache 2.0?
https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Lean3.20web.20editor.20Licence
{{ message }}
Is the LEAN 3 web editor Open source? because the GitHub repo does not have a licence?
is it Apache 2.0?
https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Lean3.20web.20editor.20Licence