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
Tooltips have transparent background
#15
Closed
abentkamp
closed
6 months ago