commit: a7f8e8d473c2898bd8a1fc6c809043a12ace5567

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Thu May 02 15:32:43 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Thu May 02 15:32:43 2024 +1000
tree: f921a98f9628dab256b8508c8c6d00024dd406a7
parent: 5f1c4df07db4adcf4a72f9f7bf00c2a0a6939a61 [diff]

chore: report used instances correctly in diagnostics

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

1 file changed

tree: f921a98f9628dab256b8508c8c6d00024dd406a7

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).