commit: 1f88e253d28bf99e9e2239120f286400f5f30ddc

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

Fri Feb 23 11:32:15 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Fri Feb 23 11:32:15 2024 +1100
tree: 0958518e58cf079e98a0e9121556323076a0497f
parent: 86cbb386d68161bcb33d8c2302fcf09ee49e18bb [diff]

chore: cleanup in BitVec/Bitblast

2 files changed

tree: 0958518e58cf079e98a0e9121556323076a0497f

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.