commit: 5d2c7fc1d92a1049f04bba1b16c0a1cfae845e00

[log]
author: Tobias Grosser <tobias@grosser.es>

Tue Sep 24 09:04:39 2024 +0100
committer: GitHub <noreply@github.com>

Tue Sep 24 08:04:39 2024 +0000
tree: 36cf37bc28577776f3fa0fda8c07aa781c7a8e91
parent: 94de4ae96413d83bf0964d83500be0d3cdeff18f [diff]

feat: more of BitVec.getElem_* (#5404)

2 files changed

tree: 36cf37bc28577776f3fa0fda8c07aa781c7a8e91

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