| Original language | English |
|---|---|
| Pages (from-to) | 104-105 |
| Number of pages | 2 |
| Journal | CEUR Workshop Proceedings |
| Volume | 1785 |
| Publication status | Published - 1 Jan 2017 |
| Event | 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 - Bialystok, Poland Duration: 25 Jul 2016 → 29 Jul 2016 |
Thesis abstract: "Design and development of a tool based on Coq to write and format mathematical proofs"
- Théo Zimmermann
- , Hugo Herbelin
Research output: Contribution to journal › Conference article › peer-review