proof « org-mode « yasnippet - monorepo.git - My monorepo which manages everything, from my nix flake to my org files.

summary refs log tree commit diff

path: root/yasnippet/org-mode/proof

blob: 6affa5548df3e68392fb435f48489c9598896c68 (plain)

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