commit: 44a5a595d7c64744eb38ddc63771d6a4977e65e2

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

Wed Aug 13 18:45:56 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Aug 13 18:45:56 2025 -0700
tree: 1b5b07e202451e164b959ac683ce0b6fcbb36076
parent: 5dbf69858f1887c5ec019e076536e0958a051a69 [diff]

feat: add simp flag for bitvec literals

3 files changed

tree: 1b5b07e202451e164b959ac683ce0b6fcbb36076

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.