commit: 4711690ee3ee804b25c34cb2f9cd3f9f838ac408

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

Thu Oct 31 18:42:26 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Oct 31 18:43:00 2024 +1100
tree: 24feeca3b7b4ca10a2a7036aaf46d8432e8d5a5f
parent: 0fcee100e7ea382069854d91e854265c56b54428 [diff]

feat: LawfulBEq (Array α) ↔ LawfulBEq α

2 files changed

tree: 24feeca3b7b4ca10a2a7036aaf46d8432e8d5a5f

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