Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 - Automated proof checking - Document - PDFSEARCH.IO

First Page	Meta Content
	Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Document Date: 2015-01-08 08:10:54 Open Document File Size: 746,06 KB Share Result on Facebook IndustryTerm proof search / proof systems / type systems / Pure type systems / / Person Ali Assaf / / SocialTag Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science

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