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
BibTeX