Towards a Formally Verified Proof Assistant (technical report)

Other (Reports)

Anand, Abhishek; RAHLI, Vincent

2014

Permalink
https://hdl.handle.net/10993/22652

verification.pdf

Author preprint (1.27 MB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

Anand, Abhishek; Cornell University > Computer Science Department

RAHLI, Vincent ; Cornell University > Computer Science Department

Language :

English

Title :

Towards a Formally Verified Proof Assistant (technical report)

Publication date :

2014

Publisher :

Cornell University

Commentary :

http://www.nuprl.org/html/Nuprl2Coq/

Available on ORBilu :

since 30 November 2015

Number of views

108 (2 by Unilu)

Number of downloads

497 (0 by Unilu)