Issues

• Duplicated unicode characters in collaborate

  bug
  leanprover-community/lean4web#156 · Filter by author boisgera opened on Oct 21, 2026
  1

• High Latency until Infoview Quiescence

  bug
  leanprover-community/lean4web#136 · Filter by author jcreedcmu opened on Jul 21, 2026
  7

• invitation link

  enhancement
  leanprover-community/lean4web#134 · Filter by author Seasawher opened on Jul 20, 2026

• instance names contain file name

  bug
  leanprover-community/lean4web#132 · Filter by author joneugster opened on Jul 10, 2026

• Control-click in infoview identifiers doesn't jump to definition

  enhancement
  leanprover-community/lean4web#121 · Filter by author jcreedcmu opened on Jun 17, 2026

• bug: collaboration doesn't sync project

  bug
  leanprover-community/lean4web#117 · Filter by author joneugster opened on May 28, 2026
  1

• bug: white flash on loading

  bug
  leanprover-community/lean4web#108 · Filter by author joneugster opened on May 1, 2026
  1

• feat: add something like "Error Lens"

  enhancementfuture-ideas
  leanprover-community/lean4web#51 · Filter by author joneugster opened on Feb 25, 2025

• Go-to-def

  bugenhancement
  leanprover-community/lean4web#31 · Filter by author joneugster opened on Aug 8, 2024
  9

• Feature Request: Vim Motions

  enhancementfuture-ideas
  leanprover-community/lean4web#25 · Filter by author bernborgess opened on May 22, 2024
  4