commit: 567cf74f1b896850d7ed24c8e201f62ab7039c09

[log]
author: Kim Morrison <477956+kim-em@users.noreply.github.com>

Fri Jan 23 10:54:19 2026 +1100
committer: GitHub <noreply@github.com>

Thu Jan 22 23:54:19 2026 +0000
tree: 685d445d0ec857c6110988f4882f6154dd5ff18c
parent: fa2ddf1c567c247d3133930a3747152b8060398f [diff]

feat: updates to `grind_indexmap` test case (#12111)

This PR updates the `grind_indexmap.lean` tests, in preparation for
using them in a Lean Together talk.

3 files changed

tree: 685d445d0ec857c6110988f4882f6154dd5ff18c

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.