commit: c35ec8668d81b3327cf6e9433e3792cf685f999d

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

Sat Sep 20 11:22:49 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Sep 20 11:24:22 2025 -0700
tree: 36daf053f752a430889c3d7fab2d04e6b5785d0e
parent: ec7add0b48dee49255a9ac6ec3324ee81aaaebdd [diff]

fix: `grind` sort internalization

This PR ensures sorts are internalized by `grind`.

2 files changed

tree: 36daf053f752a430889c3d7fab2d04e6b5785d0e

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.