Email Gateway (Aug 22 2022 at 12:58): Email Gateway (Aug 22 2022 at 12:58):From: Tobias Nipkow <nipkow@in.tum.de>
Submission to the Archive of Formal Proofs has become even easier!
We are proud to announce the availability of an online submission system:
https://ci.isabelle.systems/afp-submission/
Please submit your articles via that web page. It collects the necessary
information and runs your submission. See also
http://afp.sourceforge.net/submitting.shtml.
Happy submitting!
Tobias
PS Thanks to Max Haslbeck, Johannes Hölzl and Lars Hupel for the design and
implementation.
smime.p7s
Last updated: Nov 21 2024 at 12:39 UTC