commit: d3b0952f0e1d956969fc11d3dc58c8fede0a1837

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

Mon Aug 05 10:56:20 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Aug 05 10:56:20 2024 +1000
tree: c411d0594fbbb13a762c522377079e4363a7c2ad
parent: 6a4159c4a792ed2e74f20aecf73974dc3e314e2c [diff]

chore: require docs in BitVec

4 files changed

tree: c411d0594fbbb13a762c522377079e4363a7c2ad

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