commit: 3549ad5533b9e1b0057513eaedd1cf950c781da8

[log]
author: Henrik Böving <hargonix@gmail.com>

Wed Apr 17 20:03:13 2024 +0200
committer: Henrik Böving <hargonix@gmail.com>

Wed Apr 17 20:03:13 2024 +0200
tree: ea9a7e3f150edb1b6f3b487d6300c58892a5954a
parent: 627a0f308b27081e12cc2537e8dde60edd3a34aa [diff]

feat: make linter options more explicitly discoverable

7 files changed

tree: ea9a7e3f150edb1b6f3b487d6300c58892a5954a

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.