GitHub repository: 0xd34df00d/gcd
Primary language: Idris
Description: Euclidean algorithm, formally verified, provably correct