Julian

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

• Getting `Vim:E95: Buffer with this name already exists` error with `lean://stderr` buffer

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 Medio día Aptitud para principiantes 35/100

  Julian/lean.nvim#562 · 1 comentario · Abierto el 9/10/2026

• Telescope lean_abbreviations fails: abbreviations.load() resolves abbreviations.json relative to its caller

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100

  Julian/lean.nvim#555 · Abierto el 3/10/2026

• LSP does not restart on version upgrade

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

  Julian/lean.nvim#554 · 7 comentarios · Abierto el 27/9/2026

• Upstream workflows

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 58/100

  Julian/tree-sitter-lean#27 · 10 comentarios · Abierto el 8/9/2026

• Nested `have ... := by` tactic parses with ERROR and consumes following tactic

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

  Julian/tree-sitter-lean#18 · Abierto el 30/6/2026

• `_binding` C extension not built — `ModuleNotFoundError` on import

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

  Julian/tree-sitter-lean#16 · Abierto el 23/6/2026

• ProofWidgets GraphDisplay Not working

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 58/100

  Julian/lean.nvim#524 · Abierto el 20/6/2026

• Add a youtube importer and channels list

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Julian/Great#119 · Abierto el 30/5/2026

• Enhanced hover duplicates function arguments

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

  Julian/lean.nvim#519 · 1 reacción · Abierto el 22/5/2026

• Infoview popup shows partially instantiated type

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

  Julian/lean.nvim#517 · 2 comentarios · Abierto el 18/5/2026

• Feature request: cancel outdated Lean RPC requests

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  Julian/lean.nvim#492 · 1 reacción · Abierto el 24/3/2026

• Stopping 'leanls' lsp doesn't stop downloading lean toolchain

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Julian/lean.nvim#482 · 3 comentarios · Abierto el 9/3/2026

• Support string gaps, raw strings, etc.

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  Julian/tree-sitter-lean#8 · 4 comentarios · Abierto el 13/1/2026

• InfoView updates in Insert Mode interfere with other plugins input handling

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  Julian/lean.nvim#470 · 1 comentario · Abierto el 13/1/2026

• Don't bind a mapping if the key is already bound

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 3/5 1-2 días Aptitud para principiantes 38/100

  Julian/lean.nvim#456 · Abierto el 30/11/2025

• Severe lag: repeated $/lean/rpc/call request storm in <1s

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

  Julian/lean.nvim#442 · 1 comentario · 4 reacciones · Abierto el 16/10/2025

• > lean.nvim build failed error when opening NeoVim , using Lazy

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  Julian/lean.nvim#432 · 4 comentarios · Abierto el 3/10/2025

• Cursor lagging with Infoview open and fast scrolling

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  Julian/lean.nvim#409 · 4 comentarios · Abierto el 23/7/2025

• Feature request: syntactic highlighting for expressions in the InfoView

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  Julian/lean.nvim#379 · 8 comentarios · 1 reacción · Abierto el 26/2/2025

• Split abbreviations into a separate plugin

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Julian/lean.nvim#376 · 1 comentario · Abierto el 21/1/2025

• Feature request: Jump to corresponding file and line in trouble.nvim diagnostics

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  Julian/lean.nvim#359 · 1 comentario · Abierto el 27/10/2024

• Provide option to unbind default <Tab> and <CR> bindings for abbreviation expansion

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  Julian/lean.nvim#355 · 1 comentario · Abierto el 3/10/2024

• "CalcPanel" is not a supported Lean widget type.

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  Julian/lean.nvim#352 · 1 comentario · 2 reacciones · Abierto el 29/8/2024

• Add support for PEP 702

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 4/5 3-5 días Aptitud para principiantes 32/100

  Julian/regret#47 · Abierto el 7/8/2024

• Visual Indicator for Infoview pause

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Julian/lean.nvim#344 · 1 comentario · Abierto el 5/7/2024

• lean.nvim emits logs on other files to ~/.local/state/nvim.log

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  Julian/lean.nvim#343 · 2 comentarios · Abierto el 4/7/2024

• Add a "standard library" directory for standard definitions

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Julian/schemas#1 · 1 comentario · Abierto el 3/4/2024

• The packaging docs say not to use license

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100

  Julian/mkpkg#120 · Abierto el 21/2/2024

• Infoview tooltips should render their contents as markdown

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Julian/lean.nvim#329 · 1 comentario · Abierto el 14/1/2024

• Error in action run

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 20/100

  Julian/named-branch-action#5 · 1 comentario · Abierto el 9/1/2024

• Add some automated tests

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

  Julian/named-branch-action#4 · Abierto el 6/1/2024

• Fix setting named branches for PRs sent from forks

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  Julian/named-branch-action#3 · Abierto el 6/1/2024

• Add pytest instrumentation

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

  Julian/diff#7 · Abierto el 25/12/2023

• Consider a helper for defining __eq__ in terms of __diff__

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Julian/diff#4 · Abierto el 14/12/2023

• If a CHANGELOG exists, use its contents for the current version in autogenerated github release notes

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

  Julian/mkpkg#98 · Abierto el 16/11/2023

• g whatsnew should ignore HEAD (use the previous commit) if HEAD is tagged with the latest version

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 Medio día Aptitud para principiantes 45/100

  Julian/dotfiles#81 · Abierto el 14/11/2023

• Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement infoview

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  Julian/lean.nvim#315 · Abierto el 5/11/2023

• Big initial macOS files

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

  Julian/Pi#39 · Abierto el 1/10/2023

• Support multiple converge files

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  Julian/venvs#115 · Abierto el 29/9/2023

• Theoretical Minimum / Susskind Lectures

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  To Read

  Dificultad 3/5 1-2 días Aptitud para principiantes 20/100

  Julian/til#188 · Abierto el 17/8/2023

• Automate syncing with AntennaPod

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  Julian/podcasts#64 · Abierto el 7/7/2023

• Find a setup which syncs with both desktop and Android clients

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

  Julian/podcasts#63 · Abierto el 7/7/2023

• Combine with YouTube subscriptions?

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 10/100

  Julian/podcasts#62 · Abierto el 7/7/2023

• Stress (in the docs) how much more likely it is to want to deprecate callables via attribute access rather than only when called

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  documentation

  Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100

  Julian/regret#36 · Abierto el 6/6/2023

• Add an "if you listen to just one episode"

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 25/100

  Julian/podcasts#19 · Abierto el 24/2/2023

• Consider showing the number of stash entries in VCS repos in the prompt

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

  Julian/dotfiles#79 · Abierto el 6/1/2023

• Implementation notes

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  Julian/cardboard#1 · Abierto el 29/11/2022

• Interactive popups close when entering nested popups

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  Julian/lean.nvim#235 · 2 comentarios · Abierto el 14/2/2022

• venvs converge should replace venvs atomically

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  Julian/venvs#110 · Abierto el 30/1/2022

• Automatic upgrade has failed

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  Julian/lean-across-the-board#19 · Abierto el 11/1/2022