Pim Otte

Identifiers

• name variant Pim Otte 0.60 · backfill

Papers (2)

1. The Educational Proof Assistant Waterproof in an Introductory Proof Course: Proof Construction and Learning Processes math.HO · 2026 · author #1
2. Waterproof Editor: an educational environment for proof assistants and programming languages math.HO · 2026 · author #1

Mentions

• 2606.26809 #1 · arxiv_oai · confidence 0.70 Pim Otte
• 2606.01875 #1 · arxiv_oai · confidence 0.70 Pim Otte

Frequent Coauthors

• Jim Portegies 2 shared papers
• Dick Arends 1 shared papers
• Johan Commelin 1 shared papers
• Pieter Wils 1 shared papers
• Raul S\'anchez Flores 1 shared papers
• Rogier Bos 1 shared papers