Pieter Wils

Identifiers

• name variant Pieter Wils 0.60 · backfill

Papers (1)

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

Mentions

• 2606.01875 #4 · arxiv_oai · confidence 0.70 Pieter Wils

Frequent Coauthors

• Dick Arends 1 shared papers
• Jim Portegies 1 shared papers
• Pim Otte 1 shared papers
• Raul S\'anchez Flores 1 shared papers