commit: 7b49793b0a8fdfbe67b04302df37640678a02862

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

Tue Dec 23 13:49:49 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 23 13:59:49 2025 -0800
tree: 02b56e36c078c3880d87dd3a8ce4daaeb29fee56
parent: f422c53884d9a4d3622d302b2151a5d0154a928a [diff]

test: PersistentArray.forM with start position

tests/lean/run/PArray_forM.lean[Added - diff]

1 file changed

tree: 02b56e36c078c3880d87dd3a8ce4daaeb29fee56

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.