Sie haben auf den externen Link "https://club.sixated.com/post/red-black-tree-in-lean-4-prover-with-everything-proved-0ds8ia" geklickt. Damit verlassen Sie die Website von DR.DRUM.

Gehe zu https://club.sixated.com/post/red-black-tree-in-lean-4-prover-with-everything-proved-0ds8ia.