[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!
This archive was generated by a fusion of
Pipermail (Mailman edition) and