[gsk22]

I must be missing some context, then. It's unclear to me how pseudocode would be used in e-voting?

[mkl]

I think this is the specification for the software that would be used for e-voting. There is code in that repository too, and it calls a method named isProbablePrime, but I can't see a definition of it.