commit: 003ad0a977e4814b1a30a6e872b5473355894a6a

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

Fri Sep 06 11:42:43 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Sep 06 11:42:43 2024 +1000
tree: 48e947d6b726d59ef04cc6a3985635ec469f4694
parent: e601c7879981478bdb0f7e97c081757032c55491 [diff]

comment about confluence

src/Init/PropLemmas.lean[diff]

1 file changed

tree: 48e947d6b726d59ef04cc6a3985635ec469f4694

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