commit: 5f8e1768f5dd15bbd91e051dc56e76dc83e00785

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

Wed Sep 11 16:36:38 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Sep 11 16:36:38 2024 +1000
tree: e742c12175c7f3892b5f3943b1987536fb0493e6
parent: 325a05889351d6c7b3731364d76adb0d8921a29d [diff]

chore: restoring Option simp confluence

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

1 file changed

tree: e742c12175c7f3892b5f3943b1987536fb0493e6

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