TY - RPRT TI - A new proof of Euclid's algorithm AU - Andrzej Salwicki PY - 2023 UR - https://arxiv.org/abs/2311.01474 ID - 2311.01474 ER -