User: Guest  Login
Document type:
Technical Report 
Author(s):
Hugo Herbelin (Ed.) 
Title:
The 1st Coq Workshop, Proceedings 
Abstract:
These are the proceedings of the first Coq Workshop, which was organized by Technische Universität München in August 2009, as a satellite event of the conference TPHOLs 2009 (Theorem in Higher Order Logics). 
Keywords:
higher-order logic; theorem proving; Coq proof assistant 
Year:
2009 
Year / month:
2009-07-30 00:00:00 
Pages:
84