Robert Martin's Prime Factors Kata with Example- and Property-Based tests - View it on GitHub