WikiDer > LEGO (помощник доказательства)

Эта статья не цитировать Любые источники. Пожалуйста помоги улучшить эту статью от добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удаленный. Найдите источники: Помощник доказательства "LEGO" – Новости · газеты · книги · ученый · JSTOR (Август 2012 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

КОНСТРУКТОР ЛЕГО это помощник доказательства разработан Рэнди Поллак на Эдинбургский университет. Он реализует несколько теорий типов: Эдинбургская логическая структура (LF), Расчет конструкций (CoC), Обобщенное исчисление конструкций (GCC) и Единая теория зависимых типов (UTT).

внешняя ссылка

• Официальный веб-сайт

Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. v т е

Этот математическая логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е