commit: 4a981a4af6f0c750a9fe32458e6b5f93b4e8aa65

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

Tue Jun 03 14:46:03 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jun 03 14:46:03 2025 +1000
tree: b99d8eb02249cd2715a0c6327a388d0c53489802
parent: 7adea80123ad7166d850f5192bbf2eb1e91460db [diff]

chore: add @[grind] to List/Array/Vector.mem_map

3 files changed

tree: b99d8eb02249cd2715a0c6327a388d0c53489802

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.