Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2505.13474 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908371043483648 |
|---|---|
| author | Karsten, Nadine Eiken, Kim Jana Nestmann, Uwe |
| author_facet | Karsten, Nadine Eiken, Kim Jana Nestmann, Uwe |
| contents | We report on our journey to develop ProofBuddy, a web application that is powered by a server-side instance of the proof assistant Isabelle, for the teaching and learning of proofs and proving. The journey started from an attempt to use just Isabelle in an educational context. Along the way, following the educational design research approach with a series of experiments and their evaluations, we observed that a web application like \ProofBuddy has many advantages over a desktop application, for developers and teachers as well as for students. In summary, the advantages cover simplicity, maintainability and customizability. We particularly highlight the latter by exhibiting the potential of interactive tutorials and their implementation within ProofBuddy. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_13474 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | ProofBuddy: How it Started, How it's Going Karsten, Nadine Eiken, Kim Jana Nestmann, Uwe Logic in Computer Science Computers and Society D2.2,G.4,H.5.2,J1,K.3.0 We report on our journey to develop ProofBuddy, a web application that is powered by a server-side instance of the proof assistant Isabelle, for the teaching and learning of proofs and proving. The journey started from an attempt to use just Isabelle in an educational context. Along the way, following the educational design research approach with a series of experiments and their evaluations, we observed that a web application like \ProofBuddy has many advantages over a desktop application, for developers and teachers as well as for students. In summary, the advantages cover simplicity, maintainability and customizability. We particularly highlight the latter by exhibiting the potential of interactive tutorials and their implementation within ProofBuddy. |
| title | ProofBuddy: How it Started, How it's Going |
| topic | Logic in Computer Science Computers and Society D2.2,G.4,H.5.2,J1,K.3.0 |
| url | https://arxiv.org/abs/2505.13474 |