commit: 2a0af34146b1c5663b78d4e26dc8bee2b8f8c866

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

Wed Dec 03 12:20:08 2025 +0000
committer: Kim Morrison <kim@tqft.net>

Wed Dec 03 12:20:08 2025 +0000
tree: be664bd2a4b37f745adb4a61274af27cdde315cd
parent: d0935fc5e7add7ac3581db28e81e51222518a75f [diff]

restore test

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

1 file changed

tree: be664bd2a4b37f745adb4a61274af27cdde315cd

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.