commit: 105be27213027b75c9ce089a14e40c410f673781

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

Mon Dec 30 18:26:29 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Dec 30 18:26:29 2024 -0800
tree: 064646645c1092de5eb30257da45e9b2de0b176b
parent: b05d2fbd32200cba79a403fd8386e82f4252ee01 [diff]

feat: multi-pattern support in the `ematch` procedure

2 files changed

tree: 064646645c1092de5eb30257da45e9b2de0b176b

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 (documentation source: doc/make/index.md).