search

Julian / lean.nvim

Neovim support for the Lean theorem prover
MIT License
278 stars 27 forks source link

[pre-commit.ci] pre-commit autoupdate #339

Closed pre-commit-ci[bot] closed 5 months ago

pre-commit-ci[bot] commented 5 months ago

updates: