šŸ“ publish a preprint about verifying joinable red-black trees in calf