def form_binary_patterns(k: int) -> list:
    """
    Return a list of strings containing all binary numbers of length not exceeding 'k' (with leading zeroes)
    """
    result = []
    format_string = '{{:0{}b}}'.format(k)

    for n in range(2 ** k):
        result.append(format_string.format(n))

    return result