# -*- mode: snippet -*-
# name: proof
# key: proof
# --
#+begin_proof
  $0
#+end_proof