commit: b680d0baf6b89716e19057c427f80742949108d8

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

Sun Nov 23 21:47:28 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Sun Nov 23 21:47:28 2025 +1100
tree: 33481ebec199b3f914f97bd40f05588393af1f9d
parent: 41356740210745d6b9735cb779fbd0f9eee591e5 [diff]

chore: add CoreM.toIO'

src/Lean/CoreM.lean[diff]

1 file changed

tree: 33481ebec199b3f914f97bd40f05588393af1f9d

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.