LEGO (помощник доказательства) - LEGO (proof assistant)
 | Эта статья не цитировать Любые источники. (Август 2012 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
КОНСТРУКТОР ЛЕГО это помощник доказательства разработан Рэнди Поллак на Эдинбургский университет. Он реализует несколько теорий типов: Эдинбургская логическая структура (LF), Расчет конструкций (CoC), Обобщенное исчисление конструкций (GCC) и Единая теория зависимых типов (UTT).
внешняя ссылка
 | Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. |
 | Этот математическая логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |