commit: d68768a3309fd88cb377c07e235346a2cdbba3e3

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Fri Apr 19 17:52:13 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Fri Apr 19 17:52:13 2024 +1000
tree: 88cfa1d05d349eca9379f605561d63578ceb3c1a
parent: d1a42aae2ae28b23ba7ee56802a9a9f80548cfd6 [diff]

chore: update Authors: line in BitVec files

2 files changed

tree: 88cfa1d05d349eca9379f605561d63578ceb3c1a

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.