diff --git a/public/images/CProof-ui.png b/public/images/CProof-ui.png
new file mode 100644
index 0000000..1df383c
Binary files /dev/null and b/public/images/CProof-ui.png differ