commit: f33a9f91ab202231f172d086352642cc18c574ce

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

Tue Mar 05 15:45:30 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Mar 05 15:45:30 2024 +1100
tree: a6a761263293e99ebcde5804f2ea2471c0165cfc
parent: def564183c148b91b025c3c403bed0a57fb43aeb [diff]

chore: cleanup a bitblast proof

2 files changed

tree: a6a761263293e99ebcde5804f2ea2471c0165cfc

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.