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