commit: 2b260efe0735c85667c34abd5c75ea30c2b68736

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

Mon Jul 28 22:47:13 2025 +0200
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jul 28 22:47:13 2025 +0200
tree: f3e69004fec3e2d35bb0d1f8cefca829d87f9102
parent: ab87a6f797b0ca4cf847a3eabe7e07377505dae4 [diff]

perf: `getStuckMVar?`

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

1 file changed

tree: f3e69004fec3e2d35bb0d1f8cefca829d87f9102

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.