commit: c3f384d6a5605b04ff7d15d7861532a531c89d9a

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

Thu Sep 19 15:37:04 2024 +1000
committer: GitHub <noreply@github.com>

Thu Sep 19 05:37:04 2024 +0000
tree: 531bf95a6cc15edd17e617793b0e2d1d1fd2b57f
parent: daf24ff6aab7fa1a43e97c5559d0eb71fe356aab [diff]

feat: review of List.erase / List.find lemmas (#5391)

11 files changed

tree: 531bf95a6cc15edd17e617793b0e2d1d1fd2b57f

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