commit: 5a7f2c99de4dddb8f7052de8dff9dcdf466f7ef3

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

Wed Oct 22 07:06:50 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Wed Oct 22 07:06:50 2025 +0200
tree: 96886a274a920c839fa5c59656ba3b88529f927b
parent: 9b794befe056615f2f60b912bfd071f347869bad [diff]

feat: `grind +lax` ignores bad parameters

2 files changed

tree: 96886a274a920c839fa5c59656ba3b88529f927b

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.