| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | some isabelle/hol verification | stuebinm | 6 months | |
| Age | Commit message | Author | Files | Lines |
| 2024-06-29 | some isabelle/hol verificationHEADmain | stuebinm | 7 | -24/+341 |
| 2024-04-23 | feat: make `find` a better specification | Raito Bezarius | 2 | -10/+19 |
| 2024-04-23 | Merge pull request #3 from RaitoBezarius/bst-find | Ryan Lahfa | 11 | -202/+376 |
| 2024-04-23 | feat: close `find` / `insert` proofs | Raito Bezarius | 11 | -215/+347 |
| 2024-04-18 | feat: outline of `find` proof | Raito Bezarius | 1 | -0/+42 |
| 2024-04-18 | feat: extract `find` | Raito Bezarius | 1 | -2/+28 |
| 2024-04-18 | feat: make `find` extractable | Raito Bezarius | 1 | -1/+1 |
| 2024-04-18 | chore: nixify the project | Raito Bezarius | 5 | -0/+89 |
| 2024-04-17 | feat: factor everything in `OrdSpecRel` | Raito Bezarius | 2 | -6/+2 |
| 2024-04-17 | feat: add functional correctness of elements contained in the resulting tree | Raito Bezarius | 6 | -86/+95 |
| [...] | ||||
| Clone | ||||
| https://stuebinm.eu/git/forks/avl-verification | ||||
 |
index : avl-verification | |
| Isabelle fork of https://github.com/RaitoBezarius/avl-verification |
| summaryrefslogtreecommitdiff |