Reference : Towards a Formally Verified Proof Assistant (technical report)
Reports : Other
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22652
Towards a Formally Verified Proof Assistant (technical report)
English
Anand, Abhishek [Cornell University > Computer Science Department]
Rahli, Vincent mailto [Cornell University > Computer Science Department]
2014
Cornell University
http://hdl.handle.net/10993/22652
http://www.nuprl.org/html/Nuprl2Coq/

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
verification.pdfAuthor preprint1.24 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.