Publications

Short Introduction by Example to Coq and Formalising Zf ⊆ Zfε in Coq

AuthID
P-017-SGH

Author(s)

Gaspar, J

Editor(s)

England,M;Davenport,JH;Kohlhase,A;Kohlhase,M;Libbrecht,P;Neuper,W;Quaresma,P;Sexton,AP;Sojka,P;Urban,J;Watt,SM

Document Type

Proceedings Paper

Year published

2014

Published

in Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. in CEUR Workshop Proceedings, ISSN: 16130073

Volume: 1186

Indexing