issues
search
Julian
/
lean.nvim
neovim support for the Lean theorem prover
MIT License
248
stars
25
forks
source link
[pre-commit.ci] pre-commit autoupdate
#335
Closed
pre-commit-ci[bot]
closed
4 months ago
pre-commit-ci[bot]
commented
4 months ago
updates:
github.com/pre-commit/pre-commit-hooks: v4.5.0 → v4.6.0
updates: