commit: 92e44ffdb006c4402b0bbe009657fff2daa2af34

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

Mon Jan 20 14:49:18 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Jan 20 14:49:18 2025 +1100
tree: 0df106a0cd09a38831aebd51bd3e0bdc30b07e55
parent: 878510bca9eb20ffae2bbeddac3b7a99bf4ae090 [diff]

fix prelude

src/Init/Data/Vector/MapIdx.lean[diff]

1 file changed

tree: 0df106a0cd09a38831aebd51bd3e0bdc30b07e55

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).