[isabelle] New in the AFP: analysis and number theory

We have just received three impressive entries due to Manuel Eberl:

â The Hurwitz and Riemann Î Functions, https://www.isa-afp.org/entries/Zeta_Function.html
â Linear Recurrences, https://www.isa-afp.org/entries/Linear_Recurrences.html
â Dirichlet Series, https://www.isa-afp.org/entries/Dirichlet_Series.html

Lots of material here including fundamental results and executable code. Many thanks, Manuel!

Larry Paulson

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.