Exploring Concepts of Interactive Theorem Proving (Balkan Journal of Electrical and Computer Engineering, 2026)