Skip to content

Adding initial vim keybindings implementation - #142

Draft
jyoo980 wants to merge 3 commits into
leanprover-community:mainfrom
jyoo980:add-vim-bindings
Draft

Adding initial vim keybindings implementation#142
jyoo980 wants to merge 3 commits into
leanprover-community:mainfrom
jyoo980:add-vim-bindings

Commits

  1. Commits on Aug 19, 2026

  2. Commits on Aug 20, 2026

  3. Commits on Aug 25, 2026