commit: 2ac6dec352d31a8a73bbf0a60cb5ed06243896c1

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

Wed Aug 21 11:17:15 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Aug 21 11:17:15 2024 +1000
tree: 45e18deba4b973e4656299e574324bcb59789cca
parent: 4aa74d9c0b0e9706b819af655dfe3f4954213102 [diff]

feat: lemmas about Option/if-then-else

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

1 file changed

tree: 45e18deba4b973e4656299e574324bcb59789cca

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