commit: e180ddab19d94ef3fc7174de0c7127a486a78990

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

Mon Nov 24 13:36:44 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Nov 25 04:12:02 2025 +0100
tree: 0cb01e7746f724869378ce21076a7e7cb07e8b74
parent: ae125321684c16bf66ef3dccb8402c2c02ddd773 [diff]

chore: activate `grind_annotated` in `Init.Data.List.Lemmas`

src/Init/Data/List/Lemmas.lean[diff]

1 file changed

tree: 0cb01e7746f724869378ce21076a7e7cb07e8b74

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.