QED manifesto - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-03-05 21:10:35 Type theory Mathematical logic QED manifesto Proof theory Mizar system Proof assistant Mathematical proof Constructivism Setoid Mathematics Logic Formal methods		Add to Reading List Source URL: mizar.org Download Document from Source Website File Size: 167,69 KB Share Document on Facebook

	Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson DocID: 1p1xG - View Document
	The QED manifesto revisited Freek Wiedijk Institute for Computing and Information Sciences Radboud University Nijmegen Toernooiveld 1, 6525 ED Nijmegen, The Netherlands DocID: 1mrVu - View Document
	Hammering towards QED Jasmin C. Blanchette Technische Universit¨at M¨ unchen Cezary Kaliszyk University of Innsbruck, Austria DocID: 11RGN - View Document
	It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania DocID: 11wzl - View Document
	Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta DocID: PuYe - View Document