Заготовки формальных методов

Автомат Обзор Automath Разработан Николасом Говертом де Брейном в 1967 году для автоматизации математических теорий.  Включает новые понятия, которые позже […]