commit: de300d5769ccfc603eaa53b27d35248923557d7d

[log]
author: Henrik Böving <hargonix@gmail.com>

Thu Mar 20 15:52:14 2025 +0100
committer: Henrik Böving <hargonix@gmail.com>

Thu Mar 20 15:52:24 2025 +0100
tree: ec0aa9a95e19bb827b1ce826068adad46cd70d45
parent: 497ac70c38bbd5ccb60f7ee356ce2403d4468e14 [diff]

fix: interaction of enums and fixedInt in bv_decide

3 files changed

tree: ec0aa9a95e19bb827b1ce826068adad46cd70d45

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