commit: e6777a8360e0ed20b9d8425ad6c1826fd44eba3e

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

Mon Nov 25 21:28:07 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Nov 25 21:28:07 2024 +1100
tree: 838ac9dbfdf6a23b5055533fc1ff45df9724a661
parent: 837e7c27dd1e929f0bb47e8ed7bf38986f13e938 [diff]

fix isEqv

src/Init/Data/Vector/Basic.lean[diff]

1 file changed

tree: 838ac9dbfdf6a23b5055533fc1ff45df9724a661

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