Red-black tree in Lean 4 prover with everything proved

11 points by safinaskar