Raul S\'anchez Flores

Identifiers

• name variant Raul S\'anchez Flores 0.60 · backfill

Papers (1)

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

Mentions

• 2606.01875 #3 · arxiv_oai · confidence 0.70 Raul S\'anchez Flores

Frequent Coauthors

• Dick Arends 1 shared papers
• Jim Portegies 1 shared papers
• Pieter Wils 1 shared papers
• Pim Otte 1 shared papers