Proving leftpad correct in a dozen different ways
Primary LanguageIsabelleOtherNOASSERTION
No issues in this repository yet.