Poprzednia strona
Rekrutacja 2022/23
E. Schmeidel
Dataset Description: Formalization of Elementary Number Theory in Mizar
13th International Conference on Intelligent Computer Mathematics, Bertinoro, Italy, Jul 26-31, 2020
University of Bologna (org.)
