تقرير
Holbert: Reading, Writing, Proving and Learning in the Browser
| العنوان: | Holbert: Reading, Writing, Proving and Learning in the Browser |
|---|---|
| المؤلفون: | O'Connor, Liam, Amjad, Rayhana |
| سنة النشر: | 2022 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Logic in Computer Science, D.3, F.4, G.4 |
| الوصف: | This paper presents Holbert: a work-in-progress pedagogical proof assistant and online textbook platform, aimed at the educational use-case, specifically for the teaching of programming language theory. Holbert allows proof exercises and rule definitions to be embedded directly in an online textbook, where proofs and rules can be manipulated using a graphical interface. We give an overview of the logical foundations of Holbert, examples of its use, and give an update as to its current implementation status. Comment: Short paper for Human Aspects of Types and Reasoning Assistants (HATRA), 2022. 8 pages, plus 2 pages references |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2210.11411 |
| رقم الأكسشن: | edsarx.2210.11411 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |