commit: 83ad82162fe18b49d87f31139c7a8684e0a284b3

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Mon Jul 29 09:23:59 2024 +1000
committer: GitHub <noreply@github.com>

Sun Jul 28 23:23:59 2024 +0000
tree: 96b18d4fdbc68368ee27cc5d740b3e8871eb79ea
parent: 93ac635a89daa5a8e8ef33ec96b0bcbb5d7ec1ea [diff]

feat: upstream more List lemmas (#4856)

18 files changed

tree: 96b18d4fdbc68368ee27cc5d740b3e8871eb79ea

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