BinaryHeap/.gitignore, branch v0.1.1 A toy project about formal validation of a Heap in Lean4 https://git.grois.info/BinaryHeap/atom/.gitignore?h=v0.1.1 2024-07-21T22:18:36Z Initial commit. 2024-07-21T22:18:36Z Andreas Grois andi@grois.info 2024-07-21T22:18:36Z urn:sha1:1ff5b4e46f52fa05624523b17a5188991ab82cf3