DOI: 10.2478/forma-2024-0017 ISSN: 1898-9934
Elementary Number Theory Problems. Part XVI
Karol PąkSummary
In this paper, we continue the work on formalizing problems from “250 Problems in Elementary Number Theory” by Wacław Sierpiński, using Mizar proof assistant. The formalization covers problems 63, 65, 66, 67, 68, 93, 95, 96, 102, and 103.