commit: efc7dc1acc277b9e00f767834e12f4e1b4ecb298

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

Sat Feb 14 16:15:42 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Feb 14 16:15:42 2026 -0800
tree: 3bd005732f5a672e6050d2b5ee11272d2948ca91
parent: 7e6a1407e646f3a64f42b4500d15d78d456597f2 [diff]

feat: improve pattern pretty printer

Delaborator does not support loose bound variables.

2 files changed

tree: 3bd005732f5a672e6050d2b5ee11272d2948ca91

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.