Created in September 19, 2023
2023
📝 publish a preprint about verifying joinable red-black trees in calf