commit: 28df84e476310ddd272d3a38b465a92e40ba25f3

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

Thu Sep 12 15:22:11 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Sep 12 15:22:44 2024 +1000
tree: a793a4628052c7d43be171d5d26c55034378ecb4
parent: 3f6e616a5e5adf5277014c1b0870e01b83f6dd39 [diff]

does this work?

src/Init/PropLemmas.lean[diff]

1 file changed

tree: a793a4628052c7d43be171d5d26c55034378ecb4

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