Ssreflect Users Discussion List

[bertot <>]

Dear all,

I am amazed that we cannot find a proof that there are an infinity of 
prime numbers in the Math. Comp. library.  Do you have one, that you 
will be willing to share?  Could it be possible that there was one in a 
previous version, which could have been removed in one of our 
re-factoring steps?

Yves