Can the computer really help us to prove theorems?

First Page		Document Content
Date: 2011-11-17 12:13:56 Proof assistants Automated theorem proving Logic in computer science Type theory Automath Logic for Computable Functions Nqthm Proof theory ACL2 Mathematical proof Andrzej Trybulec Isabelle		Can the computer really help us to prove theorems? Add to Reading List Source URL: www.cs.ru.nl Download Document from Source Website File Size: 301,30 KB Share Document on Facebook

	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski DocID: 1rlwk - View Document
	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski DocID: 1pXVJ - View Document
	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski DocID: 1pNxa - View Document
	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski DocID: 1oSlz - View Document
	Can the computer really help us to prove theorems? DocID: 1lK2e - View Document