commit: f4a238fc13ef02d856ca3864118841d55db3eaea

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

Fri Jun 21 21:11:45 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Jun 21 21:24:13 2024 +1000
tree: 33a664c1d59a3cae32ecfe49a90b81deb9da66b2
parent: 2a00d6cf70e6dd25c0011b8ad7c7b8fb8c8b3688 [diff]

chore: fix explicitness of List.bind_map

src/Init/Data/List/Lemmas.lean[diff]

1 file changed

tree: 33a664c1d59a3cae32ecfe49a90b81deb9da66b2

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