University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Mining the Archive of Formal Proofs

Mining the Archive of Formal Proofs

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact INI IT.

BPRW01 - Computer-aided mathematical proof

Co-authors: Jasmin Christian Blanchette (Vrije Universiteit Amsterdam), Maximilian Haslbeck (Technical University Munich), Daniel Matichuk (Data61) The Archive of Formal Proofs is a vast collection of computer-checked proofs developed using the proof assistant Isabelle. We perform an in-depth analysis of the archive, looking at various properties of the proof developments, including size, dependencies, and proof style.Related Linkshttp://www.in.tum.de/~nipkow/pubs/cicm15.html – Paperhttps://www.isa-afp.org/ – Archive of Formal Proofs

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2022 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity