Визуализация правил доказывания: От теории к практике