diff options
| author | Andreas Grois <andi@grois.info> | 2024-03-31 21:26:01 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-03-31 21:26:01 +0200 |
| commit | 5575b06173106c3364ffc7985679107ebf282702 (patch) | |
| tree | beafdd760a8e83eed916d74d00cd89efb09b2c46 /Day9.lean | |
| parent | 67dfa34b484f4c5a5bbac8def7055176af3b728f (diff) | |
Heap: Trivial part of popLastIsHeap proof.
Diffstat (limited to 'Day9.lean')
0 files changed, 0 insertions, 0 deletions