commit: 372f0969d0a4b1204f55252ae96e4ac3935636c0

[log]
author: Henrik Böving <hargonix@gmail.com>

Sat May 30 20:48:11 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Sat May 30 20:48:11 2026 +0000
tree: fb1e97b3cd2a1eb10be03bb0d03a155a4b449d21
parent: bfad38b63df86f3edf99c5697600e57199661803 [diff]

experiment: disable borrowing

src/Lean/Compiler/LCNF/InferBorrow.lean[diff]

1 file changed

tree: fb1e97b3cd2a1eb10be03bb0d03a155a4b449d21

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.