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: May 05 2024 at 01:11 UTC