Data.SBV.Examples.CodeGeneration.GCD

Computing GCD

sgcd

Verification

sgcdIsCorrect

Code generation

genGCDInC