summaryrefslogtreecommitdiff
path: root/img/proofs.png
diff options
context:
space:
mode:
Diffstat (limited to 'img/proofs.png')
-rw-r--r--img/proofs.pngbin0 -> 65040 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/img/proofs.png b/img/proofs.png
new file mode 100644
index 0000000..381db07
--- /dev/null
+++ b/img/proofs.png
Binary files differ