Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.
Browsing Computer Science by Author "fba9d71c-89c1-450b-8e11-0cac9cf4f43e"
-
Zhumagambetov, Rustam; Sterling, Mark
(Nazarbayev University School of Science and Technology, 2018)
We present a chat bot interface for the Coq proof assistant system. The bot provides a new modality of interaction with Coq that functions across multiple devices and platforms. Our system is particularly suitable for ...