commit: 185f51b016d9e3c6f60355c213790dae25cc9617

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

Thu Mar 13 10:00:25 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Mar 13 10:00:25 2025 +1100
tree: 587fad439c0285c5abd6fc15bc691a612258f785
parent: 8bc731bd025b08c2e13a2037c1cca76de25cda0e [diff]

update doc-string

src/Init/Prelude.lean[diff]

1 file changed

tree: 587fad439c0285c5abd6fc15bc691a612258f785

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