|
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 [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):
| |
| | |
All documents in ORBilu are protected by a user license.