commit: f5c00af254d7cf83af429fbef8cc66161f464147

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

Fri Feb 09 10:37:26 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 09 10:38:52 2024 -0800
tree: fc346cc0ed69556c9c9378e087c0aacd57e7203f
parent: 488bfe2128a1c5ff0e96c45cf6a382655dc7c703 [diff]

fix: extended `coe` notation and delaborator

src/Lean/Elab/BuiltinNotation.lean[diff]
src/Lean/PrettyPrinter/Delaborator/Builtins.lean[diff]
tests/lean/coe.lean[Added - diff]
tests/lean/coe.lean.expected.out[Added - diff]

4 files changed

tree: fc346cc0ed69556c9c9378e087c0aacd57e7203f

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.