commit: ffe069247137fa6b3b808c47c6d45d152f997c6b

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

Fri Jul 25 19:29:53 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Jul 25 19:29:53 2025 +1000
tree: 166c5c955f13e9ff061df800a2b085a90d879fb2
parent: 671057eecf8d4b9af64ade4650ade3ebe6df9036 [diff]

feat: generalize Process.output/run to allow an input

src/Init/System/IO.lean[diff]

1 file changed

tree: 166c5c955f13e9ff061df800a2b085a90d879fb2

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.