red black tree - Robuta Search

https://rentry.co/8sfon8ez Red-black tree in Lean 4 prover. I proved all needed properties, for example that resulting tree is sorted. I implemented one operation only: insertion. And I "cheat" by assuming that original... red black tree lean 4 prover https://www.jsdelivr.com/package/npm/@types/functional-red-black-tree @types/functional-red-black-tree CDN by jsDelivr - A CDN for npm and GitHub A free, fast, and reliable CDN for @types/functional-red-black-tree. TypeScript definitions for functional-red-black-tree red black tree https://speakerdeck.com/kyuden/red-black-tree-for-ruby Red-Black Tree for Ruby - Speaker Deck https://railsdm.github.io/ red black tree ruby speaker deck https://pastebin.com/524SvjsU - Brown Kitty* - Red Hat* - Black Hat* - Tree Hat* - Sky Blue Laced Cap - Pastebin.com Pastebin.com is the number one paste tool since 2002. Pastebin is a website where you can store text online for a set period of time. red hat black tree