Julian

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

Modules

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