Julian

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

Modules

• lean.nvim by Julian — downloads: 124
  neovim support for the Lean theorem prover
• runt.nvim by Julian — downloads: 81
  Find corresponding test files given your source file