Search results

Kitty graphics protocol emitted into window

Status: Open.

#526 In Julian/lean.nvim;

· CT075 opened on Jun 26, 2026

ProofWidgets GraphDisplay Not working

Status: Open.

#524 In Julian/lean.nvim;

· chris-dem opened on Jun 20, 2026

Enhanced hover duplicates function arguments

Status: Open.

#519 In Julian/lean.nvim;

· frangio opened on May 22, 2026

Infoview popup shows partially instantiated type

Status: Open.

#517 In Julian/lean.nvim;

· protz opened on May 18, 2026

Feature request: cancel outdated Lean RPC requests

bugSomething isn't workingSomething isn't working

Status: Open.

#492 In Julian/lean.nvim;

· Vtec234 opened on Mar 24, 2026

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

Status: Open.

#482 In Julian/lean.nvim;

· JadAbouHawili opened on Mar 9, 2026

InfoView updates in Insert Mode interfere with other plugins input handling

Status: Open.

#470 In Julian/lean.nvim;

· SephVelut opened on Jan 13, 2026

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

bugSomething isn't workingSomething isn't working

Status: Open.

#456 In Julian/lean.nvim;

· Julian opened on Nov 30, 2025

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

Status: Open.

#442 In Julian/lean.nvim;

· yd278 opened on Oct 16, 2025

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

Status: Open.

#432 In Julian/lean.nvim;

· michael-novak-math opened on Oct 3, 2025

Cursor lagging with Infoview open and fast scrolling

Status: Open.

#409 In Julian/lean.nvim;

· iamrecursion opened on Jul 23, 2025

Feature request: syntactic highlighting for expressions in the InfoView

enhancementNew feature or requestNew feature or request

Status: Open.

#379 In Julian/lean.nvim;

· ayhon opened on Feb 26, 2025