commit: 201467302655c274e52fb4e918a97a1c3fa0e5f7

[log]
author: Rob Simmons <rob@lean-fro.org>

Tue Dec 02 09:27:07 2025 -0500
committer: Rob Simmons <rob@lean-fro.org>

Tue Dec 02 09:27:07 2025 -0500
tree: 267902683eef27bad3ed4f30ff9bc576f81221f7
parent: b7d311b81e0d86acb774392f43fe1b1aec20aaab [diff]

update module test

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

1 file changed

tree: 267902683eef27bad3ed4f30ff9bc576f81221f7

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.