Помощники по проверке доказательств

Agda (язык программирования) Обзор Agda Agda – функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом.  Система Agda была разработана […]