Email Gateway (Oct 27 2025 at 19:23): Email Gateway (Oct 27 2025 at 19:23):From: Florian Haftmann <florian.haftmann@cit.tum.de>
isabelle: e9e3caa03b2e tip
afp: 06d77fc7c645 tip
$ isabelle build Elliptic_Functions
*** Cannot load theory "Polylog.Polylog_Library"
*** The error(s) above occurred for theory "Polylog.Polylog_Library"
*** (required by "Elliptic_Functions.Dedekind_Eta" via
"Elliptic_Functions.Theta_Inversion") (line 6 of
"/home/haftmann/data/tum/afp/master/thys/Elliptic_Functions/Theta_Inversion.thy")
*** Cannot load theory "Polylog.Polylog_Library"
*** No such file: "Polylog.Polylog_Library"
*** The error(s) above occurred in session "Elliptic_Functions" (line 3
of "/home/haftmann/data/tum/afp/master/thys/Elliptic_Functions/ROOT")
Florian
OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature.asc
Last updated: Nov 05 2025 at 08:30 UTC