Stream: Coq users

Topic: How to find greatest common divisor


view this post on Zulip zeesha huq (Apr 19 2021 at 11:53):

I want to write a function which finds greatest common divisor from all the elements of the natural number list. I am using gcd function function from library.Only problem occurs when all elements of the list are zero or when there is only one element present in the list and its value is zero.


Last updated: Apr 19 2024 at 19:02 UTC