Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014

First Page		Document Content
Date: 2015-01-08 08:10:54 Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science Applied mathematics Programming language theory		Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Source URL: who.rocq.inria.fr Download Document from Source Website File Size: 746,06 KB Share Document on Facebook

	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK DocID: 1q2ho - View Document
	Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami DocID: 1pZLM - View Document
	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski DocID: 1oSlz - View Document
	A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK DocID: 1lo04 - View Document
	Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen DocID: 1kJ7K - View Document