CICM (Work in Progress)

Keyphrases

Publications

2015

CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015 CICM (Work in Progress) (2015)
Théo Zimmermann, Hugo Herbelin
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant. CICM (Work in Progress) (2015)
Robert C. Neveln, Robert A. Alps
Parsing Texts and Checking Proofs in LATEX. CICM (Work in Progress) (2015)
Pedro Quaresma, Vanda Santos, Milena Maric
A Web Environment for Geometry. CICM (Work in Progress) (2015)
Johan Commelin, Josef Urban
Auto-hyperlinking the Stacks Project. CICM (Work in Progress) (2015)
Mario Carneiro
Arithmetic in Metamath, Case Study: Bertrand's Postulate. CICM (Work in Progress) (2015)
Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber
The SMGloM Project and System. CICM (Work in Progress) (2015)