BinaryHeap/lean-toolchain, branch v0.1.0 A toy project about formal validation of a Heap in Lean4 https://git.grois.info/BinaryHeap/atom/lean-toolchain?h=v0.1.0 2024-08-13T18:47:08Z Fix compilation with Lean 4.10. 2024-08-13T18:47:08Z Andreas Grois andi@grois.info 2024-08-13T18:47:08Z urn:sha1:8bbaa53546849c018d7546772080951c45ad0c34 Initial commit. 2024-07-21T22:18:36Z Andreas Grois andi@grois.info 2024-07-21T22:18:36Z urn:sha1:1ff5b4e46f52fa05624523b17a5188991ab82cf3