issues
search
leanprover-community
/
lean4web
The Lean 4 web editor
https://live.lean-lang.org/
Apache License 2.0
52
stars
14
forks
source link
feat: support user widgets
#1
Closed
Vtec234
closed
1 year ago