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: Nov 09 2025 at 20:21 UTC