Julian/lean.nvim

github github
programming-languages-support plugin
star 51
stars
alert-circle 37
open issues
users 5
subscribers
git-branch 9
forks
CREATED

2020-12-30

UPDATED

12 hours ago

packer

require('packer').startup(function()
  use 'Julian/lean.nvim'
end)

paq

require "paq" { 
  'Julian/lean.nvim'
}

readme not found