A Million Lines of Proof About a Moving Target (Invited Talk)

DOI10.4230/LIPICS.ITP.2019.1MaRDI QIDQ5875404zbMATH OpenOpenAlexFDO

Authors June Andronick

Publication date 3 February 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2019/11056/pdf/LIPIcs-ITP-2019-1.pdf/

zbMATH Keywords

isabelle/HOLproof evolutionproof maintentancesel4

Mathematics Subject Classification ID

This page was built for publication: A Million Lines of Proof About a Moving Target (Invited Talk)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875404)