2 files changed, 18 insertions, 0 deletions
diff --git a/yasnippet/org-mode/proof b/yasnippet/org-mode/proof
new file mode 100644
index 0000000..6affa55
--- /dev/null
+++ b/yasnippet/org-mode/proof
@@ -0,0 +1,7 @@
+# -*- mode: snippet -*-
+# name: proof
+# key: proof
+# --
+#+begin_proof
+  $0
+#+end_proof
+\ No newline at end of file
diff --git a/yasnippet/org-mode/theorem b/yasnippet/org-mode/theorem
new file mode 100644
index 0000000..cb20ccd
--- /dev/null
+++ b/yasnippet/org-mode/theorem
@@ -0,0 +1,11 @@
+# -*- mode: snippet -*-
+# name: theorem
+# key: theorem
+# --
+#+begin_theorem
+$1
+#+end_theorem
+
+#+begin_proof
+$0
+#+end_proof
+\ No newline at end of file