Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Matthew West
Publications
Autogenerating Natural Language Proofs for Proof Education
Seth Poulsen
,
Matthew West
and
Talia Ringer
EasyChair Preprint 8600
Keyphrases
Coq plugin
,
CS education
,
Natural Language Generation
.
Copyright © 2012-2025 easychair.org. All rights reserved.
