commit: 393c520afaa52ce60660ae2b3f5c33607db123f8

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

Tue Sep 24 21:59:52 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Sep 24 21:59:52 2024 +1000
tree: c1bf67a7ab5bd0f385f4b9b4c5fadcac2aff4b2a
parent: 250c183bbd69fae2392bb092c4078c8db52cb39e [diff]

rerevert

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

1 file changed

tree: c1bf67a7ab5bd0f385f4b9b4c5fadcac2aff4b2a

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 (documentation source: doc/make/index.md).