commit: cee0e8e26de08e0d693401c5fb680b919f1f317a

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

Fri Oct 09 22:33:34 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Oct 09 22:33:34 2026 +0000
tree: 65a650f41403ddcf08fc94e60da7b97ee92f8ec7
parent: ad9a285d3cb856e16bc6a3ca44bdbbc3b3ca59c5 [diff]

chore: remove unneeded expected output file

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

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

1 file changed

tree: 65a650f41403ddcf08fc94e60da7b97ee92f8ec7

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.