commit: afa56d79a154caee042c16b20087d1011dbfaabc

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

Tue Jun 24 07:03:09 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Tue Jun 24 07:03:09 2025 +0200
tree: 226b3df96b685f71fc538a188edfa4f1f64f070e
parent: 449bc31832604562dc46c203e110077eff8598a9 [diff]

feat: revise grind annotations for bitwise operations

5 files changed

tree: 226b3df96b685f71fc538a188edfa4f1f64f070e

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.