search

leanprover-community / lean4web

The Lean 4 web editor
https://live.lean-lang.org/
Apache License 2.0
52 stars 14 forks source link

Separate packages #5

Closed joneugster closed 6 months ago

joneugster commented 8 months ago

client and server could be two independent npm packages, LeanProject does not need to live in the server. Instead, one should be able to specify any lake package as input to the server.

joneugster commented 6 months ago

LeanProject is now factored out and the server supports running different packages