@misc{Repp2023,
  author    = {Leo Repp},
  title     = {Extending the automatic theorem prover nanoCoP with arithmetic procedures},
  doi       = {10.25932/publishup-57619},
  institution = {Institut f{\"u}r Informatik und Computational Science},
  type      = {bachelorthesis},
  pages     = {52},
  year        = {2023},
}