commit: c5282db1350e94269536f9ae754822aad2f3a746

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Thu Jan 09 12:22:31 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Jan 09 12:22:31 2025 -0800
tree: c42c7683f733f93ae75ab921431163fc0de5a3af
parent: de2f4e2199f2309f2864271909c0df6f239351ca [diff]

chore: improve doc string

src/Init/Grind/Offset.lean[diff]

1 file changed

tree: c42c7683f733f93ae75ab921431163fc0de5a3af

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