commit: 5fce2bebd444c8347c45ca7f4d8bafca732b38aa

[log]
author: Joe Hendrix <joe@lean-fro.org>

Fri Apr 12 06:50:13 2024 +0200
committer: Joe Hendrix <joe@lean-fro.org>

Fri Apr 12 06:54:15 2024 +0200
tree: 5431783c3e9a6d6bb4c871abb95c7cb63e2541b3
parent: 68e3982eed1e4f98b0a81318510a7717ec6ff3e3 [diff]

chore: protect Std.BitVec

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

1 file changed

tree: 5431783c3e9a6d6bb4c871abb95c7cb63e2541b3

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.