Coq and Maple scripts for the formal proof of Apéry's theorem

(June 2014)

The following files will help the readers of our paper understand our formalization work. We provide: