Proof assistant - 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

	Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY DocID: 1nsYS - View Document
	Logical Methods in Computer Science Vol. 9(1:[removed], pp. 1–27 www.lmcs-online.org DocID: 4jSi - View Document
	JFP 13 (2): 261–293, March[removed]c 2003 Cambridge University Press DocID: 1FHq - View Document
	PDF Document DocID: 10cm - View Document