Implementing Red black Tree with property-based testing in Python
songfengting.com