commit: d57eafc5ae8b2bc3b66c1ba7f351cd5937954556

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

Tue May 20 23:22:43 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue May 20 23:22:43 2025 +1000
tree: 28e86d7cc6ea22826abc0decef898304342a5999
parent: f0f1eb8c088a6de00da42774403f050420d6f0cf [diff]

sigh

tests/lean/run/infoFromFailure.lean[diff]

1 file changed

tree: 28e86d7cc6ea22826abc0decef898304342a5999

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.