| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Lean 4.21 | Andreas Grois | 9 hours | |
| Tag | Download | Author | Age | |
| v0.1.1 | commit 11f466e309... | Andreas Grois | 14 months | |
| v0.1.0 | commit 79726a8a66... | Andreas Grois | 14 months | |
 |
index : BinaryHeap | |
| A toy project about formal validation of a Heap in Lean4 | Andreas Grois |
| aboutsummaryrefslogtreecommitdiff |