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