commit: 21eac95ecaca8510d69130b1ae892204d1c663cd

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

Wed Apr 23 12:30:18 2025 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 23 12:30:18 2025 +1000
tree: ba2e2eac81eb29c58fd88241fb29cc68b9169b5d
parent: 2c6d634127d5f44ecb7410f89ffcdd1c8d75a3da [diff]

feat: add List.findRev? and findSomeRev?, and simp lemmas

3 files changed

tree: ba2e2eac81eb29c58fd88241fb29cc68b9169b5d

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