Robuta

https://isa-afp.org/entries/Generalized_Hypergeometric_Series.html Generalised Hypergeometric Series - Archive of Formal Proofs Generalised Hypergeometric Series in the Archive of Formal Proofs hypergeometric series generalised archive formal proofs https://math.ucsd.edu/seminar/special-values-hypergeometric-series-over-finite-fields Special values of hypergeometric series over finite fields | Department of Mathematics hypergeometric series finite fields special values department