commit: f4193ceb57a0326a767ccd3083bf59a0d9bce8ce

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

Mon Sep 30 13:35:36 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 30 13:36:11 2024 +1000
tree: 9d3f513392c7afc9f632c675d26a3947b4436656
parent: 994cfa4c74a066df050ca889da912e71fa70cd85 [diff]

feat: Option.attach

src/Init/Data/Option.lean[diff]
src/Init/Data/Option/Attach.lean[Added - diff]
src/Init/Data/Option/Lemmas.lean[diff]
src/Init/Data/Option/List.lean[Added - diff]

4 files changed

tree: 9d3f513392c7afc9f632c675d26a3947b4436656

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