Reference : Towards a Formally Verified Proof Assistant |
Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/22661 | |||
Towards a Formally Verified Proof Assistant | |
English | |
Anand, Abhishek [Cornell University > Computer Science Department] | |
Rahli, Vincent ![]() | |
2014 | |
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 | |
Yes | |
ITP 2014 | |
July 2014 | |
http://hdl.handle.net/10993/22661 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.