@misc{FrankKreitz2018,
  author    = {Mario Frank and Christoph Kreitz},
  title     = {A theorem prover for scientific and educational purposes},
  booktitle = {Electronic proceedings in theoretical computer science},
  number    = {267},
  issn      = {2075-2180},
  doi       = {10.4204/EPTCS.267.4},
  institution = {Institut f{\"u}r Informatik und Computational Science},
  type      = {other},
  pages     = {59 -- 69},
  year        = {2018},
}