@ARTICLE{NUMBER08.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Elementary Number Theory Problems. {P}art {VIII}},
  SECTION1 = {Preliminaries},
  SECTION2 = {Problem 25},
  SECTION3 = {Problem 86},
  SECTION4 = {Problem 184},
  SECTION5 = {Problem 185},
  SECTION6 = {Problem 88},
  SECTION7 = {Problem 105},
  SECTION8 = {Problem 111},
  SECTION9 = {Problem 137},
  SECTION10 = {Problem 138},
  SECTION11 = {Problem 139},
  SECTION12 = {Problem 140},
  SECTION13 = {Problem 141},
  SECTION14 = {Problem 142},
  DAY = {30},
  MONTH = {June},
  YEAR = {2023},
  ADDRESS1 = {Institute of Computer Science\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {In this paper problems 25, 86, 88, 105, 111, 137--142, and 184--185 from 
  \cite{Sierpinski:1970} are formalized,
  using the Mizar formalism \cite{Mizar-State-2015,BancerekJAR:2018,Kornilowicz:2015:FC}.}}
