describe provable assertions (#123)

Author: nikeshnazareth

documentation/PreemptiveProvableAssertions.md

@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+
+name="provable_assertion_images";
+
+for i in {0..19}
+do
+    pdflatex "\def\sourceNo{$i}\input{$name.tex}";
+    convert -density 600x600 $name.pdf -quality 90 $name.$i.png;
+done
+
+rm $name.aux $name.log $name.pdf