commit: 0788fff40604394dac2a8aba9e2b317f44246bb6

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

Sun Sep 29 21:59:31 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Sun Sep 29 21:59:31 2024 +1000
tree: ade834551890abd270b5f1c95be03ef0d070ce76
parent: e2265d628eae82a603c45552add8f4aca271cc66 [diff]

src/Init/Data/List/Lemmas.lean[diff]

1 file changed

tree: ade834551890abd270b5f1c95be03ef0d070ce76

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