commit: 30eba379a9ed7e64594eae30645172c080a6f553

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Feb 21 15:05:32 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Feb 21 15:05:32 2024 +1100
tree: a68ed998f790f3dd0dbc86076de9ec3ebc38bae5
parent: 959ad988611db082ae4a97e9b8c4390fab53352e [diff]

chore: simplify decide (b = true) and variants

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

1 file changed

tree: a68ed998f790f3dd0dbc86076de9ec3ebc38bae5

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.