commit: af15de1e069638d4d3ceac97d4a01915fda5fad1

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

Mon Oct 21 12:15:44 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Oct 21 12:17:36 2024 +1100
tree: 9b33f3916700951d54edd2ddd9392e0129f6e107
parent: f7a1fd66b0df1617a1ab291edcf6587c186a52af [diff]

original behavour as Array.mapFinIdx

2 files changed

tree: 9b33f3916700951d54edd2ddd9392e0129f6e107

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 (documentation source: doc/make/index.md).