commit: f22382e8455643830eef938714e42412b48c13b6

[log]
author: Kim Morrison <kim@tqft.net>

Tue Jul 29 03:48:02 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Tue Jul 29 03:48:31 2025 +0200
tree: f8a409f2b87d88c5ea44b1e0ad7a77a77ea85ebf
parent: e53f944c83b01be624f83335df65178fe388d330 [diff]

chore: add failing test for grind and BitVec

tests/lean/grind/algebra/bitvec.lean[Added - diff]

1 file changed

tree: f8a409f2b87d88c5ea44b1e0ad7a77a77ea85ebf

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.