Proof Pearl: Braun Trees

POPL 2020