commit: 96771b2e82771f1207a46069614b694d7b65ef7d

[log]
author: Sebastian Graf <sgraf1337@gmail.com>

Thu Feb 19 13:52:42 2026 +0000
committer: Sebastian Graf <sgraf1337@gmail.com>

Thu Feb 19 13:52:42 2026 +0000
tree: bfe23798befbc0d683bc36599457770074314a13
parent: 2ce55ba460bcfca781dacd57242e37359ff5edc8 [diff]

doc: document that shareWithKernel needs the term to be internally shared

src/Lean/Meta/Check.lean[diff]

1 file changed

tree: bfe23798befbc0d683bc36599457770074314a13

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.