commit: c641353a4428377b9bf4c3cb6d6a79a536f1e567

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

Fri Mar 01 22:07:07 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Mar 01 22:07:07 2024 -0800
tree: ca7026facfe44cbd29a7af3e7a61afe8d8ba00f9
parent: 1626dbf1211b474839b0c82763d2eeb04306582c [diff]

feat: monadic `match_expr`

src/Lean/Elab/Do.lean[diff]
src/Lean/Elab/MatchExpr.lean[diff]
src/Lean/Meta/Basic.lean[diff]
tests/lean/run/match_expr.lean[Added - diff]

4 files changed

tree: ca7026facfe44cbd29a7af3e7a61afe8d8ba00f9

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.