commit: 088a9af99d53cf0e0d41c56ab4452593238ff2f6

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

Wed Feb 21 10:38:52 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Feb 21 10:38:52 2024 +1100
tree: 9013753160f2c288f214d8d69df93a4905bb6f91
parent: c9aea32d3e1da1287d099d41dcec831dc5151610 [diff]

chore: upstream List.get?_append

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

1 file changed

tree: 9013753160f2c288f214d8d69df93a4905bb6f91

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.