Demonstration of how well chosen properties for property-based testing can "prove" the correctness of a function. - View it on GitHub