DSpace Repository

Browsing School of Science and Technology (2015-2019) by Author "f909b28a-479c-45dc-813c-05cd181e53ca"

Browsing School of Science and Technology (2015-2019) by Author "f909b28a-479c-45dc-813c-05cd181e53ca"

Sort by: Order: Results:

  • Automated Theorem Proving in a Chat Environment 
    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 ...