commit: 1ed4d115f27c6d4855d8728b8ed7e531ed789c5b

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

Wed Sep 11 15:36:11 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Sep 12 11:38:30 2024 +1000
tree: 8c4179d141b37087b55dc849b5b6355b59156933
parent: 27bf7367caf2df7fb44cfd9a1abed556d14dfde0 [diff]

feat: cleanup of List.getElem_append variants

6 files changed

tree: 8c4179d141b37087b55dc849b5b6355b59156933

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