Skip to content

simplify some lemmas

a76ef4b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

[WIP] Verification of binary heap #1602

simplify some lemmas
a76ef4b
Select commit
Loading
Failed to load commit list.
Build
succeeded Jan 12, 2026 in 1m 13s