commit: 444d78a82602987976c1cb1ef2c41a0e812bbf29

[log]
author: Kyle Miller <kmill31415@gmail.com>

Wed Apr 29 15:57:43 2026 -0700
committer: Kyle Miller <kmill31415@gmail.com>

Wed Apr 29 15:57:43 2026 -0700
tree: 463e2eefeae9cc523e39b51341c1dca19827b4de
parent: 3fa6fbf0bb66e85f68b4efaaf64c40a9e9697c2b [diff]

fix bench test

tests/elab_bench/grind_bitvec2.lean[diff]

1 file changed

tree: 463e2eefeae9cc523e39b51341c1dca19827b4de

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.