Towards a Formally Verified Proof Assistant (technical report)

Reference : Towards a Formally Verified Proof Assistant (technical report)


	Document type :	Reports : Other
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/22652

Title :	Towards a Formally Verified Proof Assistant (technical report)
Language :	English
Author, co-author :	Anand, Abhishek [Cornell University > Computer Science Department]
	Rahli, Vincent [Cornell University > Computer Science Department]
Publication date :	2014
Publisher :	Cornell University
Permalink :	http://hdl.handle.net/10993/22652
Commentary :	http://www.nuprl.org/html/Nuprl2Coq/

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	verification.pdf		Author preprint	1.24 MB	View/Open

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