Lean3 web editor Licence

Stream: general

[Mohamamd Awheeo]

Is the LEAN 3 web editor Open source? because the GitHub repo does not have a licence? https://github.com/leanprover/lean-web-editor @Gabriel Ebner

[Mario Carneiro]

that project is very out of date

[Mohamamd Awheeo]

Yes, however I am doing a project that focuses on LEAN 3 not 4

Mario Carneiro said:

that project is very out of date

[Mario Carneiro]

it's out of date even for lean 3, the updated version is https://leanprover-community.github.io/lean-web-editor/

[Mario Carneiro]

the repo is https://github.com/leanprover-community/lean-web-editor/

[Mohamamd Awheeo]

yeah I thought they are the same but even this one does not have a licence?

[Mario Carneiro]

indeed. In the absence of information to the contrary I would assume it is Apache 2.0 like the rest of the lean infra

[Bryan Gin-ge Chen]

The package.json file does specify Apache 2.0, though yeah it might make it more clear to have a LICENSE file.

[Notification Bot]

This topic was moved here from #lean4 > Lean3 web editor Licence by Bryan Gin-ge Chen.

[Scott Morrison]

@Mohamamd Awheeo, it would be great if you could let us know why you're wanting to work in Lean 3 still. It's shortly at end-of-life, and we'd prefer people to migrate if at all possible. We know there are still some tooling deficiencies, but if there are other obstacles it would be good to hear them (or track the decision to its source, if its not your decision!)