DSpace Repository

Browsing by Author "fba9d71c-89c1-450b-8e11-0cac9cf4f43e"

Browsing by Author "fba9d71c-89c1-450b-8e11-0cac9cf4f43e"

Sort by: Order: Results:

  • 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 ...

Video Guide

Submission guideSubmission guide

Submit your materials for publication to

NU Repository Drive


My Account