@article{BoehneKreitzKnobelsdorf2016,
  author    = {Sebastian B{\"o}hne and Christoph Kreitz and Maria Knobelsdorf},
  title     = {Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq},
  journal   = {Commentarii informaticae didacticae (CID)},
  number    = {10},
  pages     = {69 -- 80},
  year      = {2016},
}