commit: a0e425748ae1e549ce74d43b2de79d76a2ff6a94

[log]
author: jrr6 <7482866+jrr6@users.noreply.github.com>

Fri Jun 27 15:25:29 2025 -0400
committer: GitHub <noreply@github.com>

Fri Jun 27 19:25:29 2025 +0000
tree: 6f8d6cab2479525b0c679e2f9d29062ed7c53e9d
parent: 6e538c35dd6737c4baea874fe337ce50b3b0d424 [diff]

chore: enable error explanation widget (#9043)

This PR enables the error explanation widget in named error messages.
Note that the displayed links won't work until the new manual version is
released (unless overriding `LEAN_MANUAL_ROOT` with a suitably recent
manual build).

src/Lean/Log.lean[diff]

1 file changed

tree: 6f8d6cab2479525b0c679e2f9d29062ed7c53e9d

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.