commit: 6bd3430dee7eac25f182d3ec289e1d0055f74f09

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

Tue Feb 27 10:04:12 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Feb 27 10:05:46 2024 -0800
tree: f1ddb8a2e24fc3f9c4afe6c47da8f10ef23557b1
parent: 2e4557dbd0a0641a8ab6f9c660f9c96504b785b4 [diff]

fix: regression on match expressions with builtin literals

20 files changed

tree: f1ddb8a2e24fc3f9c4afe6c47da8f10ef23557b1

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.