Data.SBV.Examples.CodeGeneration.GCD
Computing GCD
sgcd
Verification
sgcdIsCorrect
Code generation
genGCDInC