issues
search
Julian
/
lean.nvim
neovim support for the Lean theorem prover
MIT License
255
stars
25
forks
source link
[pre-commit.ci] pre-commit autoupdate
#288
Closed
pre-commit-ci[bot]
closed
1 year ago
pre-commit-ci[bot]
commented
1 year ago
updates:
https://github.com/myint/rstcheck
→
https://github.com/rstcheck/rstcheck
updates: