commit: 81eb6687a0218dcbb5fb629fbb0e69a5e2670870

[log]
author: Kim Morrison <kim@tqft.net>

Thu Nov 06 05:52:17 2025 +0100
committer: Kim Morrison <kim@tqft.net>

Thu Nov 06 05:52:17 2025 +0100
tree: 96586b4d455e5291783ba316a40bc8d73eaf03b0
parent: e7f4f98071c001e11adfabbea1b277782c7bb3a4 [diff]

feat: run `try? +harder` at an empty `by`

5 files changed

tree: 96586b4d455e5291783ba316a40bc8d73eaf03b0

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.