Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle AFP submission says "Invalid Request"

view this post on Zulip Email Gateway (Apr 20 2024 at 04:32):

From: znssong_meow@sina.com
I filled the Isabelle AFP submission form https://www.isa-afp.org/webapp/submit/ and uploaded the .zip file. However, it returns "Invalid Request". What can be the possible reason?

Last updated: Apr 12 2026 at 02:50 UTC