commit: 3a988c3ebeb7edb07aa1369ff9d89ff190466ece

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Wed Dec 10 12:38:05 2025 +0100
committer: GitHub <noreply@github.com>

Wed Dec 10 12:38:05 2025 +0100
tree: efabf4010e6464db04f7c1e78eb4cddc558dde18
parent: 0ddc1829dc2b22d2bb3541fb003a7ff592f4e9c7 [diff]

Add import for Init.System.Files in IO_test.lean

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

1 file changed

tree: efabf4010e6464db04f7c1e78eb4cddc558dde18

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.