commit: 5c9830d8f982210cc498781517f9157a053270a7

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

Wed Apr 08 11:33:13 2026 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Apr 08 11:33:13 2026 +1000
tree: 2ac26b3d66953f3c6de9a4f08f2c8576ba594001
parent: 3a4821004f1d9663a43e11866d0ae033b6ce3cbf [diff]

fix: remove empty .out.expected (lint.py flags empty files)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

tests/elab/13310.lean.out.expected[Deleted - diff]

1 file changed

tree: 2ac26b3d66953f3c6de9a4f08f2c8576ba594001

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.