BinaryHeap/lean-toolchain, branch main
A toy project about formal validation of a Heap in Lean4
https://git.grois.info/BinaryHeap/atom/lean-toolchain?h=main
2025-11-16T19:21:38Z
Lean 4.25
2025-11-16T19:21:38Z
Andreas Grois
andi@grois.info
2025-11-16T19:21:38Z
urn:sha1:75f99635f27dbbedae9769395460b33092180b46
Lean 4.24
2025-11-16T17:12:50Z
Andreas Grois
andi@grois.info
2025-11-16T17:12:50Z
urn:sha1:429534106cc509d0fb5b79c67da51b432a798243
Lean 4.23
2025-11-16T12:31:00Z
Andreas Grois
andi@grois.info
2025-11-16T12:31:00Z
urn:sha1:90a0fee45356cf5a1a4d29214c7f0f115fddbf23
Lean 4.21
2025-11-02T15:23:04Z
Andreas Grois
andi@grois.info
2025-11-02T15:23:04Z
urn:sha1:ff5c64836ede27d87dbc56b3869021ad8b0d255b
Lean 4.20.1
2025-10-12T21:35:56Z
Andreas Grois
andi@grois.info
2025-10-12T21:35:56Z
urn:sha1:79f6af06385585087f08a7d77eb43d8674c16948
Lean 4.19
2025-10-12T16:19:52Z
Andreas Grois
andi@grois.info
2025-10-12T16:19:52Z
urn:sha1:93c883d5332469d90a4f1c42d45c66e2b6a89eb8
Lean 4.18
2025-10-09T20:15:22Z
Andreas Grois
andi@grois.info
2025-10-09T20:15:22Z
urn:sha1:60832223e03e50cbffca8bc90b1dec40b48f1f14
Lean 4.17
2025-04-13T17:56:18Z
Andreas Grois
andi@grois.info
2025-04-13T17:56:18Z
urn:sha1:7896480adb78fc9f9b7a86a5eddd0fc5e3f9e4d5
Lean 4.16
2025-02-13T21:33:06Z
Andreas Grois
andi@grois.info
2025-02-13T21:33:06Z
urn:sha1:a2fcff2dbe3561e3a51b810b3f0577ba99ef5e78
Lean 4.15
2025-01-07T22:15:50Z
Andreas Grois
andi@grois.info
2025-01-07T22:15:50Z
urn:sha1:fe30e1dc0a0070452edce74331aa3df21a6b8f7c