Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Lambert Series

view this post on Zulip Email Gateway (Nov 28 2023 at 18:11):

From: Tobias Nipkow <nipkow@in.tum.de>
Lambert Series
Manuel Eberl

This entry provides a formalisation of Lambert series, i.e. series of the form ...

https://www.isa-afp.org/entries/Lambert_Series.html

Enjoy!

smime.p7s

Last updated: Nov 09 2025 at 20:21 UTC