commit: 8ac161b03b436556cd0ec2984e04db5e49e341b1

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

Fri Feb 23 14:30:05 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 23 14:30:05 2024 -0800
tree: 7db441e189fccb3eea91013c3b7a19c6ee945285
parent: 3dd3cfc15e577753ade023a46526f2afb45cb212 [diff]

fix: `Std.BitVec` occurrences at `OmegaM.lean`

src/Lean/Elab/Tactic/Omega/OmegaM.lean[diff]

1 file changed

tree: 7db441e189fccb3eea91013c3b7a19c6ee945285

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.