proxy.golang.org : github.com/Julian/lean.nvim : v2025.10.1+incompatible
neovim support for the Lean theorem prover
Registry -
Documentation -
Download -
JSON -
codemeta.json
purl: pkg:golang/github.com/%21julian/lean.nvim@v2025.10.1%2Bincompatible
Published:
Indexed:
Loading...
Readme
Loading...