| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Proof that toList has the same length as the heap. | Andreas Grois | 5 months | |
| Tag | Download | Author | Age | |
| v0.1.1 | commit 11f466e309... | Andreas Grois | 20 months | |
| v0.1.0 | commit 79726a8a66... | Andreas Grois | 20 months | |
 |
index : BinaryHeap | |
| A toy project about formal validation of a Heap in Lean4 | Andreas Grois |
| aboutsummaryrefslogtreecommitdiff |