commit: ec57cdb1b91d3f84c8a3dcb2db20d0f8f27830a2

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

Tue Apr 28 23:37:13 2026 +0200
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Apr 28 23:37:13 2026 +0200
tree: bf5beda7f9070f7f437d04d661583313b9691001
parent: ce9a1e26ac6b500ed7c4b7519c86dac4126f1454 [diff]

chore: fix test

tests/elab/grind_beta_generation_check.lean[diff]

1 file changed

tree: bf5beda7f9070f7f437d04d661583313b9691001

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.