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

Download this file

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].

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks