Visualizing Type-Checking Proofs: An Educational Web-Based System for an Extended Simply Typed Lambda Calculus. - Ján Perhác; Vladyslav Futrak (Comput. Sci. J. Moldova, 2025)