Euclidean algorithm, formally verified, provably correct
Primary LanguageIdris
This repository is not active