commit: b773bf75bbbba3613782fd24e0be6962e047e35d

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 11 14:47:12 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 11 14:47:12 2024 -0700
tree: 6b1fa12a9d954c5d67009563805b381a6f0af535
parent: ea46bf2839ad1c98d3a0c3e5caad8a81f812934c [diff]

fix: missing `simproc` for `BitVec` equality

2 files changed

tree: 6b1fa12a9d954c5d67009563805b381a6f0af535

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