commit: cde191da2621fc2cdbb8c959b0da34b2773ffc1d

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

Fri Mar 28 18:44:26 2025 -0700
committer: GitHub <noreply@github.com>

Sat Mar 29 01:44:26 2025 +0000
tree: d562f4efcf6c8254d0d876b200387d61af65b507
parent: 032a9e817d8d8d4dbbdf13c44702f0359ff4b62b [diff]

test: heapsort with `grind` (#7715)

This PR adds a new test: heapsort with `grind` discharging proofs.

tests/lean/run/grind_heapsort.lean[Added - diff]

1 file changed

tree: d562f4efcf6c8254d0d876b200387d61af65b507

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