TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX

First Page		Document Content
Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic		TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: www.tug.org Download Document from Source Website File Size: 189,97 KB Share Document on Facebook

	Webb fpref.tex V3Preface A DocID: 1xUVv - View Document
	Webb flast.tex V3Introduction I DocID: 1xUJd - View Document
	Webb fbetw.tex V2Foreword: The Benchmark of Success By Meg Whitman DocID: 1xTZA - View Document
	PDF Document DocID: 1xLQT - View Document
	DOCX Document DocID: 1xFTK - View Document