[69143c]: web / submit-template Maximize Restore History

Download this file

submit-template    20 lines (11 with data), 347 Bytes

To: afp-submit at in.tum.de

Authors:
URLs/email addresses:

Title:

Entry name:

Abstract:



Maintainer:

License:
I view my submission to the Archive of Formal Proofs as a library in a high
level programming language. If accepted, I license it under the terms of the
GNU Lesser General Public License [http://www.gnu.org/copyleft/lesser.html].