Julian

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

Modules

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