commit: fddf38a3e99eac70ab443f1a0b3b33cd33b17f58

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

Wed Jan 08 17:01:27 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 08 17:04:48 2025 -0800
tree: 419750ec771834a9dc4be075225e222139349224
parent: 0afa1d1e5dda3cfedd4a847421271fef64e9743c [diff]

feat: add helper theorems for handling offsets in `grind`

This PR adds helper theorems to implement offset constraints in grind.

src/Init/Grind.lean[diff]
src/Init/Grind/Offset.lean[Added - diff]

2 files changed

tree: 419750ec771834a9dc4be075225e222139349224

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 (documentation source: doc/make/index.md).