Публикации с тегом TLA
Цифровые двойники и современная архитектура обучения +5
Лесли Лэмпорт — человек, который придумал LaTeX +40
Формальное описание менеджера пакетов +4
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8
Формальная верификация на примере задачи о волке, козе и капусте +27
