Unit test that proves pi is normal

[vhag]

The README says that

One of the properties that π is conjectured to have is that it is normal, which is to say that its digits are all distributed evenly, with the implication that it is a disjunctive sequence, meaning that all possible finite sequences of digits will be present somewhere in it.

My organisation requires all software to be formally proved to always give the correct output. The fact that it is conjectured is not enough. Please add a unit test that proves the normality of pi.

[jeffli678]

I have it. Github is simply not enough space to host the proof.

[jeffli678]

The proof is already within pi, isn't it?

[hyiltiz]

@jeffli678 Just upload the index for the proof please. If the index in pi is too large, maybe try e.

[jeffli678]

@hyiltiz I did, but GitHub said the file is too large.

[Heath123]

@jeffli678 Just upload the index for the proof please. If the index in pi is too large, maybe try e.

No need, the index is in Pi

[hyiltiz]

How about the index of the index? Still too large?

[Heath123]

How about the index of the index? Still too large?

That's in Pi too, you just need to find it