Email Gateway (Aug 22 2022 at 09:27): Email Gateway (Aug 22 2022 at 09:27):From: Tobias Nipkow <nipkow@in.tum.de>
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
smime.p7s
Last updated: Nov 21 2024 at 12:39 UTC