commit: 162f99d99813e5d5fe8b54bb852907dfc541c09a

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

Wed Mar 04 12:40:24 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Wed Mar 04 12:40:24 2026 +0000
tree: 3dbff7bede4691745f8ef03b82058b024d6a163c
parent: 9e94b2e35bb9037345b727394165609dbe77be23 [diff]

test: update expected output in Module/Imported.lean

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

tests/pkg/module/Module/Imported.lean[diff]

1 file changed

tree: 3dbff7bede4691745f8ef03b82058b024d6a163c

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.