commit: a070c1fdd6fa1b97973163deac02af7f60e3e542

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

Sun Jan 12 12:19:10 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jan 12 12:19:10 2025 -0800
tree: 04ad591462bacd1bcc6dd50dc83cea01941de12c
parent: b6ecd21cdd67dbff21138be70197bf3f34cef5e2 [diff]

feat: implement `setUnsat` in `Grind/Arith/Offset.lean`

4 files changed

tree: 04ad591462bacd1bcc6dd50dc83cea01941de12c

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).