Satallax: An Automatic Higher-Order Prover Chad E. Brown Saarland University, Saarbr¨ ucken, Germany Abstract. Satallax is an automatic higher-order theorem prover that

First Page		Document Content
		Satallax: An Automatic Higher-Order Prover Chad E. Brown Saarland University, Saarbr¨ ucken, Germany Abstract. Satallax is an automatic higher-order theorem prover that Add to Reading List Source URL: www.ps.uni-saarland.de Download Document from Source Website File Size: 117,29 KB Share Document on Facebook