commit: 83ba36c59cd36a3a24f704221a0536b2374d47b4

[log]
author: Joe Hendrix <joe@lean-fro.org>

Tue Mar 05 18:49:36 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Tue Mar 05 18:52:56 2024 -0800
tree: 5e7f1fe646125dbea5921968d6ed5d27dd639e82
parent: 01f0fedef8dafd21ec2d8d8fc742d99af4f1372f [diff]

chore: Improve comment on `cond_decide`.

src/Init/Data/Bool.lean[diff]

1 file changed

tree: 5e7f1fe646125dbea5921968d6ed5d27dd639e82

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.