Stream: Mirror: Isabelle Development Mailing List

Topic: Actuarial_Mathematics FAILED

view this post on Zulip Email Gateway (Aug 30 2025 at 18:22):

From: Florian Haftmann <florian.haftmann@cit.tum.de>
isabelle: cb5fc74454b0 tip
afp: e5b3d27c3325 tip

Actuarial_Mathematics FAILED (see also "isabelle build_log -H Error Actuarial_Mathematics")
*** No such variable in theorem: "?s" (line 110 of "$AFP/Actuarial_Mathematics/Examples.thy")
*** At command "apply" (line 110 of "$AFP/Actuarial_Mathematics/Examples.thy")

OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature.asc

Last updated: Aug 31 2025 at 20:21 UTC