aoc-2023/Common/BTreeHeap.lean, branch feature/day17 Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Common/BTreeHeap.lean?h=feature/day17 2023-12-13T18:48:20Z Rename file to BinaryHeap, as it isn't a BTree 2023-12-13T18:48:20Z Andreas Grois andi@grois.info 2023-12-13T18:43:48Z urn:sha1:3469d1e0e5e44c29484ff2f843c0863afa502eea BinTreeHeap: Add condition le m n 2023-12-12T21:16:45Z Andreas Grois andi@grois.info 2023-12-12T21:16:45Z urn:sha1:e6365d2c473815a14e888b827c25596d5b995f43 Incomplete Heap implementation. 2023-12-11T19:34:30Z Andreas Grois andi@grois.info 2023-12-11T19:34:30Z urn:sha1:83e666ee9960275a98e6d2d44c5b4845b6b46c87