Hacktoberfest 2026：メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

Julian/lean.nvim

ログインしてフォロー GitHub で見る

Neovim support for the Lean theorem prover

Julian/lean.nvim は初心者に優しい？

Julian/lean.nvim への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けの issue が現在 1 件オープンです。

スター
601
フォーク
61
オープンの初心者向け issue
1
索引済み issue
34
平均マージ
3日 22時間
マージ済み PR（30日）
8
主要言語
Lua
ライセンス
MIT
最終 GitHub push
2026年10月5日
最新の索引
2026年9月18日
コントリビューションガイド
行動規範がありません
初心者向けラベル
help wanted

Julian/lean.nvim にコントリビュートするには

  1. まずコントリビューションガイドを読みましょう。変更の提案、テスト、レビューの進め方が書かれています。
  2. あなたのコントリビュートはプロジェクトの MIT ライセンスで公開されます。
  3. 下にある初心者向けのオープンな issue を選び、作業を始める前に取り組みたいとコメントしましょう。
初心者向け すべて
オープン すべて

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

  • Telescope lean_abbreviations fails: abbreviations.load() resolves abbreviations.json relative to its caller
    オープン
    • 何か問題がありますか？

    難易度 2/5 1〜3時間 初心者へのやさしさ 88/100

    Julian/lean.nvim#555 ·

  • LSP does not restart on version upgrade
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 48/100

    Julian/lean.nvim#554 · コメント 7 件 ·

  • ProofWidgets GraphDisplay Not working
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 58/100

    Julian/lean.nvim#524 ·

  • Enhanced hover duplicates function arguments
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 68/100

    Julian/lean.nvim#519 · リアクション 1 件 ·

  • Infoview popup shows partially instantiated type
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 48/100

    Julian/lean.nvim#517 · コメント 2 件 ·

  • Feature request: cancel outdated Lean RPC requests
    オープン
    • 何か問題がありますか？
    bug

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    Julian/lean.nvim#492 · リアクション 1 件 ·

  • Stopping 'leanls' lsp doesn't stop downloading lean toolchain
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 45/100

    Julian/lean.nvim#482 · コメント 3 件 ·

  • InfoView updates in Insert Mode interfere with other plugins input handling
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    Julian/lean.nvim#470 · コメント 1 件 ·

  • Don't bind a mapping if the key is already bound
    オープン
    • 何か問題がありますか？
    bug

    難易度 3/5 1〜2日 初心者へのやさしさ 38/100

    Julian/lean.nvim#456 ·

  • Severe lag: repeated $/lean/rpc/call request storm in <1s
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 42/100

    Julian/lean.nvim#442 · コメント 1 件 · リアクション 4 件 ·

  • > lean.nvim build failed error when opening NeoVim , using Lazy
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 25/100

    Julian/lean.nvim#432 · コメント 4 件 ·

  • Cursor lagging with Infoview open and fast scrolling
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 35/100

    Julian/lean.nvim#409 · コメント 4 件 ·

  • Feature request: syntactic highlighting for expressions in the InfoView
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    Julian/lean.nvim#379 · コメント 8 件 · リアクション 1 件 ·

  • Split abbreviations into a separate plugin
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    Julian/lean.nvim#376 · コメント 1 件 ·

  • Feature request: Jump to corresponding file and line in trouble.nvim diagnostics
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    Julian/lean.nvim#359 · コメント 1 件 ·

  • Provide option to unbind default <Tab> and <CR> bindings for abbreviation expansion
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 3/5 1〜2日 初心者へのやさしさ 35/100

    Julian/lean.nvim#355 · コメント 1 件 ·

  • "CalcPanel" is not a supported Lean widget type.
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 3/5 1〜2日 初心者へのやさしさ 35/100

    Julian/lean.nvim#352 · コメント 1 件 · リアクション 2 件 ·

  • Visual Indicator for Infoview pause
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    Julian/lean.nvim#344 · コメント 1 件 ·

  • lean.nvim emits logs on other files to ~/.local/state/nvim.log
    オープン
    • 何か問題がありますか？
    bug

    難易度 3/5 1〜2日 初心者へのやさしさ 35/100

    Julian/lean.nvim#343 · コメント 2 件 ·

  • Infoview tooltips should render their contents as markdown
    オープン
    • 何か問題がありますか？
    bug

    難易度 3/5 1〜2日 初心者へのやさしさ 45/100

    Julian/lean.nvim#329 · コメント 1 件 ·

  • Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows
    オープン
    • 何か問題がありますか？
    enhancement infoview

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    Julian/lean.nvim#315 ·

  • Interactive popups close when entering nested popups
    オープン
    • 何か問題がありますか？
    bug

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    Julian/lean.nvim#235 · コメント 2 件 ·

  • Figure out what to do about abbreviations in modes other than insert mode
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    Julian/lean.nvim#205 · コメント 6 件 · リアクション 1 件 ·

  • Allow customizing infoview components via some Lua API
    オープン
    • 何か問題がありますか？
    enhancement infoview

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    Julian/lean.nvim#172 · コメント 2 件 ·

  • Automatically show tooltip when moving over term
    オープン
    • 何か問題がありますか？
    enhancement infoview

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    Julian/lean.nvim#166 · リアクション 1 件 ·

  • Add markdown comment syntax highlighting
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 3/5 1〜2日 初心者へのやさしさ 42/100

    Julian/lean.nvim#157 · コメント 4 件 ·

  • Per-window infoviews
    オープン
    • 何か問題がありますか？
    enhancement infoview

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    Julian/lean.nvim#128 ·

  • Full HTML widget support in a GUI
    オープン
    • 何か問題がありますか？
    enhancement help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    Julian/lean.nvim#59 · コメント 1 件 · リアクション 2 件 ·

  • Configurably autoclose the infoview if it has no Lean buffers updating it
    再び着手できるかも オープン
    • 何か問題がありますか？
    enhancement infoview

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    Julian/lean.nvim#43 · コメント 6 件 · リアクション 1 件 ·

  • Improve how sub-functionality is configured
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    Julian/lean.nvim#39 ·

  • Support folding in the infoview
    オープン
    • 何か問題がありますか？
    enhancement infoview

    難易度 3/5 1〜2日 初心者へのやさしさ 30/100

    Julian/lean.nvim#31 · コメント 2 件 ·

  • Still show last compiled goal-state while `Processing file...`
    対応中かも オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 40/100

    Julian/lean.nvim#369 · コメント 2 件 ·

  • Make how and when the infoview updates more configurable, particularly for cases when it goes blank
    対応中かも オープン
    • 何か問題がありますか？
    enhancement infoview

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    Julian/lean.nvim#257 ·

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。