commit: 4a418f3c3e674a213e7bbc68b1b87fb594ab02ec

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

Wed Jul 31 11:46:51 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jul 31 11:46:51 2024 -0700
tree: 3b7e0dac85e15621e9877ab3cdc271d1ca868e7a
parent: deee7a115933b40b71bef1934d7b5a0c7430264a [diff]

fix: missing borrow annotation

src/Init/ShareCommon.lean[diff]

1 file changed

tree: 3b7e0dac85e15621e9877ab3cdc271d1ca868e7a

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