Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
prop_gcd :: Integer -> Integer -> Bool
prop_gcd a b = a * b == gcd a b * lcm a b
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment