commit: 1faa7e596a0a7fd8f0d75e15ce198d2b419159b3

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Tue Oct 14 14:20:13 2025 +0200
committer: Joachim Breitner <mail@joachim-breitner.de>

Tue Oct 14 14:20:13 2025 +0200
tree: 890a3b53a09d351dca4191bdee6ddf84e7408c92
parent: 47dbcd4b931dd97362f76671f03bf332fa52403e [diff]

refactor: processLeaf: Only look at first alt

src/Lean/Meta/Match/Match.lean[diff]

1 file changed

tree: 890a3b53a09d351dca4191bdee6ddf84e7408c92

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.