Task: Pad a Numeric String with Leading Zeros
Task: Pad a Numeric String with Leading Zeros: a task in Terminal-Lego-15k (Harbor dataset). Create a Python solution that pads a numeric string with zeros to the left, so that the string has a specific target length.
The task
Create a Python solution that pads a numeric string with zeros to the left, so that the string has a specific target length.
Part of PrimeIntellect/Terminal-Lego-15k.