Implementing Red black Tree with property-based testing in Python

songfengting.com