commit: 1b84d06fd80c8d399acb38b63c57f2dfc7b61852

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

Sun Jul 12 17:51:49 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jul 12 17:51:49 2026 +0000
tree: 9ab31875393c7b7b6b739504260b7c5acdf0f300
parent: a33e9db819521230f680c39e6d4bc55f7d8d277c [diff]

chore: remove bad `grind` theorem

src/Init/Data/BitVec/Basic.lean[diff]

1 file changed

tree: 9ab31875393c7b7b6b739504260b7c5acdf0f300

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.