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

Pim Otte, Dick Arends, Raul Sánchez Flores +2

Waterproof Editor provides an educational environment specifically targeted to teaching with proof assistants or programming languages. It arose from Waterproof, educational softwa…