Julian

$ luarocks install --server=https://luarocks.org/manifests/Julian <name>

Modules

  • lean.nvim by Julian — downloads: 1
    neovim support for the Lean theorem prover