commit: 61a76a814f3868a7fca20e2db07527aae1250e94

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

Sat Feb 17 12:19:40 2024 -0800
committer: GitHub <noreply@github.com>

Sat Feb 17 12:19:40 2024 -0800
tree: 1b30dfc8700253cdb337d6f9b50a4afb6e93c010
parent: 0c92d177921b804783cc594d04a488fc0be6d21f [diff]

feat: delaborator for `Char` literals (#3381)

3 files changed

tree: 1b30dfc8700253cdb337d6f9b50a4afb6e93c010

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.