commit: d24859f11818b1be26e5b917da50a15e104adc62

[log]
author: Kim Morrison <kim@tqft.net>

Tue Jun 10 13:19:48 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jun 10 13:19:48 2025 +1000
tree: da55f60545500a6fb5d7a87cf7efed2d76af3f4d
parent: 2d67524e42049d929eedf1cc9d40313f2c8bbc1a [diff]

chore: change grind.warning default to false

2 files changed

tree: da55f60545500a6fb5d7a87cf7efed2d76af3f4d

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.