A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material

10115

Related Entities

No entities found for this article.