commit: e640267122d8221c506da1e1d9429f735b237c09

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

Wed Oct 30 12:35:47 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Oct 30 12:35:47 2024 +1100
tree: 2a235c23e0dbab00e22fbff0720d456e0a13509a
parent: 3450c2a8ac3a8c193d4fcc28056d0725ca3b4a1f [diff]

feat: Hashable (BitVec n)

2 files changed

tree: 2a235c23e0dbab00e22fbff0720d456e0a13509a

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