commit: 98ab206665fbbc9c79fc73b0d1725f9f361bcfe8

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

Fri Sep 26 20:54:20 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Sep 26 20:57:10 2025 -0700
tree: 20d272e6ddf793333cf58c12169456d3bd3edd01
parent: 18832eb6004e1c37f4ad023b4956d6379564a197 [diff]

feat: helper theorems for `grind order`

This PR adds helper theorems for justifying proofs constructed by
`grind order`

4 files changed

tree: 20d272e6ddf793333cf58c12169456d3bd3edd01

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.