commit: cbe2210f2dcfb4288e9ccc2d2022418c5e5e55d1

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

Sat Sep 27 11:08:48 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Sep 27 11:11:21 2025 -0700
tree: 037c5eb98fb8f1cef99dbf85872b4c6b2d4b00a2
parent: fbfc7694a030c3d9639557bdb7bd77d375177d08 [diff]

feat: add `addEdge` to `grind order`

This PR implements the function for adding new edges to the graph used
by `grind order`. The graph maintains the transitive closure of all
asserted constraints.

6 files changed

tree: 037c5eb98fb8f1cef99dbf85872b4c6b2d4b00a2

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.