Abstract
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.
Language: English
Page range: 203 - 212
Accepted on: Dec 14, 2024
Published on: Dec 31, 2024
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Related subjects:
© 2024 Karol Pąk, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.