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! TobiasPS Thanks to Max Haslbeck, Johannes HÃlzl and Lars Hupel for the design and implementation.
Description: S/MIME Cryptographic Signature