commit: 1f9f87d2f5fc131521acec3ee0cf92d322b0c10f

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

Wed Mar 06 09:09:06 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Mar 06 09:09:06 2024 +1100
tree: 317d642197e8dea53ebb05794f8b002568d1af4f
parent: ae4123d9c0e9ebb8b23d7c17ac635f44fefb9c25 [diff]

better unrolling

tests/lean/run/bitblast.lean[diff]

1 file changed

tree: 317d642197e8dea53ebb05794f8b002568d1af4f

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.