commit: 9790a6f335c8bf5a5e80d8d50462a19e7f3d774f

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

Mon Sep 23 13:30:16 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 23 13:30:16 2024 +1000
tree: c9982bdf82d7ab7144490a5c855bd855f82f1b8a
parent: 738435b90aaa251a731cc463d6e49560f2037df9 [diff]

feat: refactor DecidableEq (Array α)

src/Init/Data/Array/DecidableEq.lean[diff]

1 file changed

tree: c9982bdf82d7ab7144490a5c855bd855f82f1b8a

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