search

leanprover-community / lean4web

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

Clean up #11

Closed abentkamp closed 7 months ago

abentkamp commented 7 months ago

I removed some code that I originally copied from the vscode extension that we do not need here.