Login
- Dokumenttyp:
- Technical Report
- Autor(en):
- Hugo Herbelin (Ed.)
- Titel:
- 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).
- Stichworte:
- higher-order logic; theorem proving; Coq proof assistant
- Jahr:
- 2009
- Jahr / Monat:
- 2009-07-30 00:00:00
- Seiten/Umfang:
- 84
BibTeX