Towards a Formally Verified Proof Assistant

Reference : Towards a Formally Verified Proof Assistant


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/22661

Title :	Towards a Formally Verified Proof Assistant
Language :	English
Author, co-author :	Anand, Abhishek [Cornell University > Computer Science Department]
	Rahli, Vincent [Cornell University > Computer Science Department]
Publication date :	2014
Main document title :	Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
Peer reviewed :	Yes
Event name :	ITP 2014
Event date :	July 2014
Permalink :	http://hdl.handle.net/10993/22661

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	TowardsAFormallyVerifiedProofAssistant.pdf		Author preprint	679.78 kB	Request a copy

All documents in ORBi^lu are protected by a user license.