Abstract
In this article some number relations are formalized in the Mizar system.
Language: English
Page range: 281 - 287
Accepted on: Dec 27, 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 Sebastian Koch, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.