Proof of Chudnovskys' series for
arXiv:2003.06668
Abstract
We prove rational alternating Ramanujan-type series of level discovered by the brothers David and Gregory Chudnovky, by using a method of the author. We have carried out the computations with Maple (a symbolic software for mathematics).
6 pages