Dick Arends

Identifiers

• name variant Dick Arends 0.60 · backfill

Papers (1)

1. Waterproof Editor: an educational environment for proof assistants and programming languages math.HO · 2026 · author #2

Mentions

• 2606.01875 #2 · arxiv_oai · confidence 0.70 Dick Arends

Frequent Coauthors

• Jim Portegies 1 shared papers
• Pieter Wils 1 shared papers
• Pim Otte 1 shared papers
• Raul S\'anchez Flores 1 shared papers