在python中将军事时间转换为常规时间

如何解决在python中将军事时间转换为常规时间

我需要编写一个将军用时间转换为常规时间的 Python 文件。在军用时间，小时从 00 到 23 编号，例如午夜是 00，凌晨 1 点是 01，下午 1 点。是 13。以小时和分钟为单位的时间以 4 位字符串的形式给出，分钟在小时之后，由 00 到 59 的 2 位给出。例如，军用时间 0022 = 常规时间上午 12:22。

我试过了：

time = eval(input('Enter military time: '))

def time():
    return time[:2] + ':' + time[2:]

但它不适用于以 0 开头的输入，我不知道如何将输入转换为“常规时间” - 00=12:00

想知道我应该采取什么样的方法。