Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

Julian/lean.nvim

Đăng nhập để theo dõi Xem trên GitHub

Neovim support for the Lean theorem prover

Julian/lean.nvim có thân thiện với người mới không?

Gần đây có quá ít pull request của người đóng góp bên ngoài gửi tới Julian/lean.nvim để nói chúng được merge thường xuyên đến đâu. Hiện có 1 issue phù hợp với người mới đang mở.

Star
601
Fork
61
Issue cho người mới đang mở
1
Issue đã lập chỉ mục
36
Merge trung bình
3 ngày 14 giờ
Pull request đã merge (30 ngày)
7
Ngôn ngữ chính
Lua
Giấy phép
MIT
Lần push lên GitHub gần nhất
5/10/2026
Lập chỉ mục gần nhất
18/9/2026
Hướng dẫn đóng góp
Không có quy tắc ứng xử
Label cho người mới
help wanted

Cách đóng góp cho Julian/lean.nvim

  1. Hãy đọc hướng dẫn đóng góp trước: nó cho biết maintainer muốn thay đổi được đề xuất, kiểm thử và review ra sao.
  2. Đóng góp của bạn sẽ được phát hành theo giấy phép MIT của dự án.
  3. Chọn issue phù hợp với người mới đang mở bên dưới và bình luận rằng bạn muốn làm nó trước khi bắt đầu.
Phù hợp cho người mới Tất cả
Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

  • Getting `Vim:E95: Buffer with this name already exists` error with `lean://stderr` buffer
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 Nửa ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#562 · 1 bình luận ·

  • Telescope lean_abbreviations fails: abbreviations.load() resolves abbreviations.json relative to its caller
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 88/100

    Julian/lean.nvim#555 ·

  • LSP does not restart on version upgrade
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    Julian/lean.nvim#554 · 7 bình luận ·

  • ProofWidgets GraphDisplay Not working
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100

    Julian/lean.nvim#524 ·

  • Enhanced hover duplicates function arguments
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

    Julian/lean.nvim#519 · 1 reaction ·

  • Infoview popup shows partially instantiated type
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100

    Julian/lean.nvim#517 · 2 bình luận ·

  • Feature request: cancel outdated Lean RPC requests
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#492 · 1 reaction ·

  • Stopping 'leanls' lsp doesn't stop downloading lean toolchain
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    Julian/lean.nvim#482 · 3 bình luận ·

  • InfoView updates in Insert Mode interfere with other plugins input handling
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#470 · 1 bình luận ·

  • Don't bind a mapping if the key is already bound
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 38/100

    Julian/lean.nvim#456 ·

  • Severe lag: repeated $/lean/rpc/call request storm in <1s
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

    Julian/lean.nvim#442 · 1 bình luận · 4 reaction ·

  • > lean.nvim build failed error when opening NeoVim , using Lazy
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

    Julian/lean.nvim#432 · 4 bình luận ·

  • Cursor lagging with Infoview open and fast scrolling
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#409 · 4 bình luận ·

  • Feature request: syntactic highlighting for expressions in the InfoView
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    Julian/lean.nvim#379 · 8 bình luận · 1 reaction ·

  • Split abbreviations into a separate plugin
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/lean.nvim#376 · 1 bình luận ·

  • Feature request: Jump to corresponding file and line in trouble.nvim diagnostics
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#359 · 1 bình luận ·

  • Provide option to unbind default <Tab> and <CR> bindings for abbreviation expansion
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#355 · 1 bình luận ·

  • "CalcPanel" is not a supported Lean widget type.
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#352 · 1 bình luận · 2 reaction ·

  • Visual Indicator for Infoview pause
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/lean.nvim#344 · 1 bình luận ·

  • lean.nvim emits logs on other files to ~/.local/state/nvim.log
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#343 · 2 bình luận ·

  • Infoview tooltips should render their contents as markdown
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    Julian/lean.nvim#329 · 1 bình luận ·

  • Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows
    Đang mở
    • Có gì không ổn?
    enhancement infoview

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    Julian/lean.nvim#315 ·

  • Interactive popups close when entering nested popups
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#235 · 2 bình luận ·

  • Figure out what to do about abbreviations in modes other than insert mode
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/lean.nvim#205 · 6 bình luận · 1 reaction ·

  • Allow customizing infoview components via some Lua API
    Đang mở
    • Có gì không ổn?
    enhancement infoview

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/lean.nvim#172 · 2 bình luận ·

  • Automatically show tooltip when moving over term
    Đang mở
    • Có gì không ổn?
    enhancement infoview

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#166 · 1 reaction ·

  • Add markdown comment syntax highlighting
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 42/100

    Julian/lean.nvim#157 · 4 bình luận ·

  • Per-window infoviews
    Đang mở
    • Có gì không ổn?
    enhancement infoview

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/lean.nvim#128 ·

  • Full HTML widget support in a GUI
    Đang mở
    • Có gì không ổn?
    enhancement help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/lean.nvim#59 · 1 bình luận · 2 reaction ·

  • Configurably autoclose the infoview if it has no Lean buffers updating it
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    enhancement infoview

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#43 · 6 bình luận · 1 reaction ·

  • Improve how sub-functionality is configured
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/lean.nvim#39 ·

  • Support folding in the infoview
    Đang mở
    • Có gì không ổn?
    enhancement infoview

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 30/100

    Julian/lean.nvim#31 · 2 bình luận ·

  • Still show last compiled goal-state while `Processing file...`
    Có thể đã có người làm Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 40/100

    Julian/lean.nvim#369 · 2 bình luận ·

  • Make how and when the infoview updates more configurable, particularly for cases when it goes blank
    Có thể đã có người làm Đang mở
    • Có gì không ổn?
    enhancement infoview

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/lean.nvim#257 ·

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.