Waterproof Editor: an educational environment for proof assistants and programming languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Otte, Pim, Arends, Dick, Flores, Raul Sánchez, Wils, Pieter, Portegies, Jim
Format:	Preprint
Published:	2026
Subjects:	History and Overview Computers and Society
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2606.01875