HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Mark Sterling

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

Keyphrases

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

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