commit: aa96e674a45e4f51748eed798c2257244d57c484

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

Mon Sep 23 10:32:06 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 23 10:32:06 2024 +1000
tree: 5950966cb5601d2486b8b57d6e6bd81385cf61c4
parent: fc5201584166e35fadb7d0fe2bd2b8b59450b155 [diff]

feat: decidable quantifers for BitVec

2 files changed

tree: 5950966cb5601d2486b8b57d6e6bd81385cf61c4

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