Automated Theorem Proving in a Chat Environment
Authors: Rustam Zhumagambetov and Mark Sterling
Paper Information
| Title: | Automated Theorem Proving in a Chat Environment |
| Authors: | Rustam Zhumagambetov and Mark Sterling |
| Proceedings: | UITP Full Papers |
| Editors: | Mateja Jamnik and Christoph Lüth |
| Keywords: | interactive theorem prover, user interface, chat bot |
| Abstract: | ABSTRACT. We present a chat bot as an interface to the Coq proof assistant. It provides modern way of interaction with Coq across multiple devices. We emphasize that it runs on several platform, having not the same interface but similar, at the same time it employs features of particular device. Moreover it is also easy to run it on mobile devices with Android and iOS. |
| Pages: | 7 |
| Talk: | Jul 13 12:00 (Session 86N: UITP 2) |
| Paper: |  |