HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Rustam Zhumagambetov

Publications
Automated Theorem Proving in a Chat Environment
Rustam Zhumagambetov and Mark Sterling
EasyChair Preprint no. 447

Keyphrases

Chat bot, Coq proof assistant, interactive theorem prover, proof assistant, theorem proving, user interface.

Copyright © 2012-2023 easychair.org. All rights reserved.