Proving leftpad correct in a dozen different ways - View it on GitHub