diff options
| author | Andreas Grois <andi@grois.info> | 2024-01-09 00:14:39 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-01-09 00:14:39 +0100 |
| commit | bbf66d6dfc6888dd4777ff31a1301b381f6c7cd8 (patch) | |
| tree | 6cb151e5b098b5ed9a496d3ff8ca8952fc0bdcaa /Day6.lean | |
| parent | fa7824f2e3a5e9ca28801feec9042f528c75a8cb (diff) | |
More progress on heap.insert proof
Diffstat (limited to 'Day6.lean')
0 files changed, 0 insertions, 0 deletions