Waterproof Editor: an educational environment for proof assistants and programming languages
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866914622193270784 |
|---|---|
| author | Otte, Pim Arends, Dick Flores, Raul Sánchez Wils, Pieter Portegies, Jim |
| author_facet | Otte, Pim Arends, Dick Flores, Raul Sánchez Wils, Pieter Portegies, Jim |
| contents | Waterproof Editor provides an educational environment specifically targeted to teaching with proof assistants or programming languages. It arose from Waterproof, educational software targeted at helping students acquire the skill of giving mathematical proofs. Its original features such as enabling rich formatting and providing clear input areas are now abstracted away in an npm package and can be used in different educational contexts. We invite interested parties to use this component in their educational software, and offer to assist with this. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2606_01875 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Waterproof Editor: an educational environment for proof assistants and programming languages Otte, Pim Arends, Dick Flores, Raul Sánchez Wils, Pieter Portegies, Jim History and Overview Computers and Society Waterproof Editor provides an educational environment specifically targeted to teaching with proof assistants or programming languages. It arose from Waterproof, educational software targeted at helping students acquire the skill of giving mathematical proofs. Its original features such as enabling rich formatting and providing clear input areas are now abstracted away in an npm package and can be used in different educational contexts. We invite interested parties to use this component in their educational software, and offer to assist with this. |
| title | Waterproof Editor: an educational environment for proof assistants and programming languages |
| topic | History and Overview Computers and Society |
| url | https://arxiv.org/abs/2606.01875 |