precommit-lean

jonaprieto

Private pre-commit hooks for Lean 4 repositories

linting

View on GitHub Website

2 Stars

0 Forks

0 Watchers

Python Language

mit License

49.1 SrcLog Score

Cost to Build

$1.5K

Market Value

$973

How is this calculated?

Growth over time

1 data points · 2026-09-19 → 2026-09-19

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about precommit-lean

Question copied to clipboard

What is the jonaprieto/precommit-lean GitHub project? Description: "Private pre-commit hooks for Lean 4 repositories". Written in Python. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone precommit-lean

Clone via HTTPS

git clone https://github.com/jonaprieto/precommit-lean.git

Clone via SSH

[email protected]:jonaprieto/precommit-lean.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the precommit-lean issue tracker:

Open GitHub Issues

Similar to precommit-lean

javascript neomake codelyzer ue5-style-guide linter-eslint prettier-standard gulp-tutorial stylelint-processor-styled-components vale oas-kit vim-lsc gitlint ktlint-gradle bellybutton mobify-code-style readable-pylint-messages codeclimate-eslint tslint-xo sonar-perl docker-go-dev vim-xo typescript-blackbook PowerRails prettier-check typo3-typoscript-lint php.json polymer-linter codeclimate-rubocop eslint-plugin-chai-friendly editorconfig-checker.php