commit: c2117d75a6898b8e7859a4a4a294aae004c72134

[log]
author: Lean stage0 autoupdater

Sat Jul 20 03:58:16 2024 +0000
committer: Lean stage0 autoupdater

Sat Jul 20 03:58:16 2024 +0000
tree: 71da906474e4f3d1c70b878a1fdf8a624ee008af
parent: 3477b0e7f62e5b38720fe8fae8853bf5b7085983 [diff]

chore: update stage0

stage0/src/kernel/for_each_fn.cpp[diff]

1 file changed

tree: 71da906474e4f3d1c70b878a1fdf8a624ee008af

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