Julian

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

Modules

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