commit: 7fcae3cd3ee7121de4d6b6b404539f964b4b95ef

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

Mon Oct 14 12:12:01 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Oct 14 12:12:01 2024 +1100
tree: c69fe38784af861de3e35c75e3966d96d8680ee9
parent: 7fd2aa04ae1dd02e7f8a2cb5ceacb7fbebbbb48a [diff]

chore: import orphaned Lean.Replay

src/Lean.lean[diff]

1 file changed

tree: c69fe38784af861de3e35c75e3966d96d8680ee9

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).