commit: 23b294ce2892062a616de4957a6cf6365035a166

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

Sun Jun 15 10:15:38 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jun 15 10:16:02 2025 -0700
tree: c8dc8b2cc667eb9922f63626be813795257c709f
parent: 0bfd95dd20a2f06ff595c6935579d26f72f51e7c [diff]

feat: `Inv.lean` for grind linarith

8 files changed

tree: c8dc8b2cc667eb9922f63626be813795257c709f

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.