commit: 8a767399482cfbdb93fee7b258e8f66445bdbd51

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Tue Feb 27 18:10:24 2024 +0100
committer: GitHub <noreply@github.com>

Tue Feb 27 18:10:24 2024 +0100
tree: 4d93c2680df68f3a38bd2a85d4c2f14bc255f8a7
parent: 2e4557dbd0a0641a8ab6f9c660f9c96504b785b4 [diff]

doc: split interface/implementation docs on `ite`

src/Init/Prelude.lean[diff]

1 file changed

tree: 4d93c2680df68f3a38bd2a85d4c2f14bc255f8a7

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.