Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

Julian/lean.nvim

Se connecter pour suivre Voir sur GitHub

Neovim support for the Lean theorem prover

Julian/lean.nvim est-il accessible aux débutants ?

Les mainteneurs de Julian/lean.nvim répondent en général à une pull request sous 1 jour. 2 issues accessibles aux débutants sont ouvertes en ce moment.

Étoiles
610
Forks
63
Issues débutants ouvertes
2
Issues indexées
39
Merge moyen
1 j 6 h
PR mergées (30 j)
8
Langage dominant
Lua
Licence
MIT
Dernier push GitHub
20/10/2026
Dernière indexation
18/9/2026
Guide de contribution
Aucun code de conduite
Labels débutants
help wanted

Comment contribuer à Julian/lean.nvim

  1. Lisez d'abord le guide de contribution : il explique comment les mainteneurs veulent que les changements soient proposés, testés et relus.
  2. Vos contributions seront publiées sous la licence MIT du projet.
  3. Choisissez l'une des 2 issues ouvertes accessibles aux débutants ci-dessous et indiquez en commentaire que vous voulez la prendre avant de commencer.
Accessible aux débutants Tout
Ouverte Toutes

Les issues sur lesquelles quelqu’un travaille peut-être déjà sont listées en dernier. Tout trier par date

  • Errors of the form `unexpected end of input` is shown nowhere
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 54/100

    Julian/lean.nvim#570 ·

    Les mainteneurs répondent en général sous 1 jour

  • Show the current range of `expected type` as a highlight on the Lean buffer
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 56/100

    Julian/lean.nvim#567 ·

    Les mainteneurs répondent en général sous 1 jour

  • Non-tactic `stop` shouldn't be highlighted in red
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 2/5 1-3 heures Accessibilité débutants 70/100

    Julian/lean.nvim#564 ·

    Les mainteneurs répondent en général sous 1 jour

  • Telescope lean_abbreviations fails: abbreviations.load() resolves abbreviations.json relative to its caller
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 2/5 1-3 heures Accessibilité débutants 88/100

    Julian/lean.nvim#555 ·

    Les mainteneurs répondent en général sous 1 jour

  • LSP does not restart on version upgrade
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 4/5 3-5 jours Accessibilité débutants 48/100

    Julian/lean.nvim#554 · 7 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • ProofWidgets GraphDisplay Not working
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 58/100

    Julian/lean.nvim#524 ·

    Les mainteneurs répondent en général sous 1 jour

  • Enhanced hover duplicates function arguments
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 68/100

    Julian/lean.nvim#519 · 1 réaction ·

    Les mainteneurs répondent en général sous 1 jour

  • Infoview popup shows partially instantiated type
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 48/100

    Julian/lean.nvim#517 · 2 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • Feature request: cancel outdated Lean RPC requests
    Ouverte
    • Quelque chose ne va pas ?
    bug

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

    Julian/lean.nvim#492 · 1 réaction ·

    Les mainteneurs répondent en général sous 1 jour

  • Stopping 'leanls' lsp doesn't stop downloading lean toolchain
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

    Julian/lean.nvim#482 · 3 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • InfoView updates in Insert Mode interfere with other plugins input handling
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

    Julian/lean.nvim#470 · 1 commentaire ·

    Les mainteneurs répondent en général sous 1 jour

  • Don't bind a mapping if the key is already bound
    Ouverte
    • Quelque chose ne va pas ?
    bug

    Difficulté 3/5 1-2 jours Accessibilité débutants 38/100

    Julian/lean.nvim#456 ·

    Les mainteneurs répondent en général sous 1 jour

  • Severe lag: repeated $/lean/rpc/call request storm in <1s
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 4/5 3-5 jours Accessibilité débutants 42/100

    Julian/lean.nvim#442 · 1 commentaire · 4 réactions ·

    Les mainteneurs répondent en général sous 1 jour

  • > lean.nvim build failed error when opening NeoVim , using Lazy
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

    Julian/lean.nvim#432 · 4 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • Cursor lagging with Infoview open and fast scrolling
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

    Julian/lean.nvim#409 · 4 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • Feature request: syntactic highlighting for expressions in the InfoView
    Ouverte
    • Quelque chose ne va pas ?
    enhancement

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

    Julian/lean.nvim#379 · 8 commentaires · 1 réaction ·

    Les mainteneurs répondent en général sous 1 jour

  • Split abbreviations into a separate plugin
    Ouverte
    • Quelque chose ne va pas ?
    enhancement

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

    Julian/lean.nvim#376 · 1 commentaire ·

    Les mainteneurs répondent en général sous 1 jour

  • Feature request: Jump to corresponding file and line in trouble.nvim diagnostics
    Ouverte
    • Quelque chose ne va pas ?
    enhancement

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

    Julian/lean.nvim#359 · 1 commentaire ·

    Les mainteneurs répondent en général sous 1 jour

  • Provide option to unbind default <Tab> and <CR> bindings for abbreviation expansion
    Ouverte
    • Quelque chose ne va pas ?
    enhancement

    Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

    Julian/lean.nvim#355 · 1 commentaire ·

    Les mainteneurs répondent en général sous 1 jour

  • "CalcPanel" is not a supported Lean widget type.
    Ouverte
    • Quelque chose ne va pas ?
    enhancement

    Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

    Julian/lean.nvim#352 · 1 commentaire · 2 réactions ·

    Les mainteneurs répondent en général sous 1 jour

  • Visual Indicator for Infoview pause
    Ouverte
    • Quelque chose ne va pas ?
    enhancement

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

    Julian/lean.nvim#344 · 1 commentaire ·

    Les mainteneurs répondent en général sous 1 jour

  • lean.nvim emits logs on other files to ~/.local/state/nvim.log
    Ouverte
    • Quelque chose ne va pas ?
    bug

    Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

    Julian/lean.nvim#343 · 2 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • Infoview tooltips should render their contents as markdown
    Ouverte
    • Quelque chose ne va pas ?
    bug

    Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

    Julian/lean.nvim#329 · 1 commentaire ·

    Les mainteneurs répondent en général sous 1 jour

  • Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows
    Ouverte
    • Quelque chose ne va pas ?
    enhancement infoview

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

    Julian/lean.nvim#315 ·

    Les mainteneurs répondent en général sous 1 jour

  • Interactive popups close when entering nested popups
    Ouverte
    • Quelque chose ne va pas ?
    bug

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

    Julian/lean.nvim#235 · 2 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • Figure out what to do about abbreviations in modes other than insert mode
    Ouverte
    • Quelque chose ne va pas ?
    enhancement

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

    Julian/lean.nvim#205 · 6 commentaires · 1 réaction ·

    Les mainteneurs répondent en général sous 1 jour

  • Allow customizing infoview components via some Lua API
    Ouverte
    • Quelque chose ne va pas ?
    enhancement infoview

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

    Julian/lean.nvim#172 · 2 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • Automatically show tooltip when moving over term
    Ouverte
    • Quelque chose ne va pas ?
    enhancement infoview

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

    Julian/lean.nvim#166 · 1 réaction ·

    Les mainteneurs répondent en général sous 1 jour

  • Add markdown comment syntax highlighting
    Ouverte
    • Quelque chose ne va pas ?
    enhancement

    Difficulté 3/5 1-2 jours Accessibilité débutants 42/100

    Julian/lean.nvim#157 · 4 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • Per-window infoviews
    Ouverte
    • Quelque chose ne va pas ?
    enhancement infoview

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

    Julian/lean.nvim#128 ·

    Les mainteneurs répondent en général sous 1 jour

  • Full HTML widget support in a GUI
    Ouverte
    • Quelque chose ne va pas ?
    enhancement help wanted

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

    Julian/lean.nvim#59 · 1 commentaire · 2 réactions ·

    Les mainteneurs répondent en général sous 1 jour

  • Configurably autoclose the infoview if it has no Lean buffers updating it
    Peut-être à nouveau libre Ouverte
    • Quelque chose ne va pas ?
    enhancement infoview

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

    Julian/lean.nvim#43 · 6 commentaires · 1 réaction ·

    Les mainteneurs répondent en général sous 1 jour

  • Improve how sub-functionality is configured
    Ouverte
    • Quelque chose ne va pas ?
    enhancement

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

    Julian/lean.nvim#39 ·

    Les mainteneurs répondent en général sous 1 jour

  • Support folding in the infoview
    Ouverte
    • Quelque chose ne va pas ?
    enhancement infoview

    Difficulté 3/5 1-2 jours Accessibilité débutants 30/100

    Julian/lean.nvim#31 · 2 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • Still show last compiled goal-state while `Processing file...`
    Peut-être pris Ouverte
    • Quelque chose ne va pas ?
    enhancement

    Difficulté 4/5 3-5 jours Accessibilité débutants 40/100

    Julian/lean.nvim#369 · 2 commentaires ·

    Les mainteneurs répondent en général sous 1 jour

  • Make how and when the infoview updates more configurable, particularly for cases when it goes blank
    Peut-être pris Ouverte
    • Quelque chose ne va pas ?
    enhancement infoview

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

    Julian/lean.nvim#257 ·

    Les mainteneurs répondent en général sous 1 jour

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.