commit: 721c04182139cfaa3cc7cb4b4914a8c49003eb21

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

Fri Nov 14 05:02:15 2025 +0100
committer: Kim Morrison <kim@tqft.net>

Fri Nov 14 05:02:15 2025 +0100
tree: 63d4105594342dee4b4cd143f0385ce1bdcbba9d
parent: 7b29d976edfebf211141c83fc325ae8dd5e5414b [diff]

feat: ∎ macro for try?

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>

src/Init/Try.lean[diff]
src/Lean/Elab/Tactic/Try.lean[diff]
tests/lean/run/qed_macro.lean[Added - diff]

3 files changed

tree: 63d4105594342dee4b4cd143f0385ce1bdcbba9d

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.