commit: 1db5d31acd80e1cd72736ab04d04b1fd07408537

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Tue Oct 21 09:30:11 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Oct 21 09:30:11 2025 -0700
tree: d4195d00eff6a64114ff8ccc4c756da396ea508b
parent: 05b6cc34a73a48c8bc13ba076055fe3b2fcc9334 [diff]

chore: add note

tests/lean/run/grind_indexmap_trace.lean[diff]

1 file changed

tree: d4195d00eff6a64114ff8ccc4c756da396ea508b

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.