Tsvira, Yaroslav, AND Gorbunova, Tatyana. " Implementation of Type Theory as a Tool for Perceiving Mathematical Theory in Developed Software" Modern Information Technologies and IT-Education [Online], Volume 20 Number 4 (15 December 2024)