Design and development of a tool based on Coq to write and format mathematical proofs.

Théo Zimmermann

Published in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)

Keyphrases

modeling tool
mathematical proofs
case study
multimedia
formal methods
design process
information processing
knowledge acquisition
knowledge based systems
software engineering
learning process
conceptual model
design principles
user interface
natural language
design rationale
information systems