commit: 51f34c8425b644e518a377c18419d861b70cea36

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Jun 04 09:31:14 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jun 04 09:31:14 2025 -0700
tree: e60083f48fdac554cd20f8ee859595570e6b088b
parent: 960ed43dae6bfcc7427327853efdf91cc9dbfdc4 [diff]

feat: source at failure diag

3 files changed

tree: e60083f48fdac554cd20f8ee859595570e6b088b

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.