commit: 4c48256aa4148133c67bc7a3aaed34a4c89406e3

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

Wed Apr 10 22:44:57 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 10 22:44:57 2024 +1000
tree: 19f3b4e17dc8766a80ae85012792d0d0f1e7bd6f
parent: 280525f1fccbe2e08ef3032ac02af30ebdebf728 [diff]

doc: incomplete doc-strings for Option

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

1 file changed

tree: 19f3b4e17dc8766a80ae85012792d0d0f1e7bd6f

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.