search

leanprover-community / lean4web

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

Copy-Paste on mobile #8

Open joneugster opened 8 months ago

joneugster commented 8 months ago

On mobile I can't paste code, nor can I select code in the editor to copy it.