@misc{BoehneKreitz2018,
  author    = {Sebastian B{\"o}hne and Christoph Kreitz},
  title     = {Learning how to prove},
  booktitle = {Electronic proceedings in theoretical computer science},
  number    = {267},
  issn      = {2075-2180},
  doi       = {10.4204/EPTCS.267.1},
  institution = {Institut f{\"u}r Informatik und Computational Science},
  type      = {other},
  pages     = {1 -- 18},
  year        = {2018},
}