Issues

• View other user's projects I have accessed

  leanprover/lean-workbench#184 · Filter by author robsimmons opened on Oct 16, 2026

• View/sort a user's projects by "last accessed" date

  leanprover/lean-workbench#183 · Filter by author robsimmons opened on Oct 16, 2026

• Template metadata visible to administrators

  enhancement
  leanprover/lean-workbench#182 · Filter by author jcreedcmu opened on Oct 12, 2026

• Consider replacing landing page with user profile

  leanprover/lean-workbench#181 · Filter by author jcreedcmu opened on Oct 12, 2026
  1

• First user experience involves "Imports are out of date"

  bug
  leanprover/lean-workbench#180 · Filter by author jcreedcmu opened on Oct 12, 2026
  2

  

• Show lists of stuff more concisely

  enhancement
  leanprover/lean-workbench#179 · Filter by author Vtec234 opened on Oct 5, 2026

• per-user memory diagnostics

  enhancement
  leanprover/lean-workbench#176 · Filter by author robsimmons opened on Oct 5, 2026

• Kill active sessions when a projet is deleted

  enhancement
  leanprover/lean-workbench#175 · Filter by author robsimmons opened on Oct 3, 2026

• Collab-server keeps phantom state of renamed files

  Bug

  leanprover/lean-workbench#174 · Filter by author robsimmons opened on Oct 3, 2026

• Preserve local edits made before remote doc syncs in

  enhancement
  leanprover/lean-workbench#168 · Filter by author Vtec234 opened on Sep 30, 2026

• Debugging utilities and user-facing functionality for collab-server state

  leanprover/lean-workbench#157 · Filter by author Vtec234 opened on Sep 25, 2026
  2

• 'File: Revert File' command does not revert from disk

  bug
  leanprover/lean-workbench#156 · Filter by author Vtec234 opened on Sep 25, 2026

• Decide on collab.db persistence

  leanprover/lean-workbench#155 · Filter by author Vtec234 opened on Sep 25, 2026
  2

• Closing and not saving changes should actually allow us to revert to filesystem state

  bug
  leanprover/lean-workbench#154 · Filter by author robsimmons opened on Sep 25, 2026
  3

• Allow admin users to log into private projects as collaborators

  leanprover/lean-workbench#153 · Filter by author robsimmons opened on Sep 25, 2026

• Sync FS events with collab-server state

  enhancement
  leanprover/lean-workbench#151 · Filter by author Vtec234 opened on Sep 24, 2026

• Sync VSCode events with collab-server state

  bug
  leanprover/lean-workbench#150 · Filter by author Vtec234 opened on Sep 24, 2026
  

• Move _file to publications origin

  leanprover/lean-workbench#140 · Filter by author jcreedcmu opened on Sep 16, 2026
  1

• Deal with name collisions

  leanprover/lean-workbench#132 · Filter by author robsimmons opened on Sep 8, 2026
  1

• Open projects into a reasonable state

  leanprover/lean-workbench#130 · Filter by author robsimmons opened on Sep 6, 2026

• Evaluate moving Prisma stuff into shared/

  leanprover/lean-workbench#127 · Filter by author robsimmons opened on Sep 4, 2026

• /data folder migrations

  leanprover/lean-workbench#126 · Filter by author robsimmons opened on Sep 3, 2026

• Show version / installation info in admin panel and/or footer

  enhancement
  leanprover/lean-workbench#99 · Filter by author Vtec234 opened on Aug 24, 2026

• Install script won't allow use of an existing empty directory

  leanprover/lean-workbench#90 · Filter by author robsimmons opened on Aug 20, 2026

• Container places root-owned files on host filesystem

  leanprover/lean-workbench#85 · Filter by author Vtec234 opened on Aug 14, 2026