A Graphical User Interface Framework for Formal Verification.

Edward W. Ayers, Mateja Jamnik, William T. Gowers

Browse the full ITP paper archive.