[isabelle] Mining the Archive of Formal Proofs



We would like to announce the following paper:

Jasmin Blanchette, Maximilian Haslbeck, Daniel Matichuk, Tobias Nipkow:
Mining the Archive of Formal Proofs
http://www.in.tum.de/~nipkow/pubs/cicm15.html

Abstract:
Everything you always wanted to know about the AFP, in colour.

Feedback welcome!

Tobias

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.