commit: 2c007a471bdab2feae6cfcd2f172cc56191c1fe7

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

Tue Apr 15 11:11:29 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Apr 15 06:16:02 2025 +0200
tree: 7ced0b21ff8f20d50c1411fcf36ea2ae91b4f0c3
parent: deef1c2739a331899b0e536312e65e9815059014 [diff]

feat: infoAsError

src/Lean/Log.lean[diff]

1 file changed

tree: 7ced0b21ff8f20d50c1411fcf36ea2ae91b4f0c3

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 (documentation source: doc/make/index.md).