diff --git a/compile_server/app/templates/code_embed.html b/compile_server/app/templates/code_embed.html
index 48185e8..7587111 100644
--- a/compile_server/app/templates/code_embed.html
+++ b/compile_server/app/templates/code_embed.html
@@ -10,7 +10,7 @@
 </head>
 <body>
 
-<div example_editor="{{ example.name }}"></div>
+<div example_editor="{{ example.name }}" prove_button="true"></div>
 
 <script src="{% static "ace-builds/src/ace.js" %}"  type="text/javascript" charset="utf-8"></script>
 <script src="{% static "jquery-3.2.1.min.js" %}"></script>
diff --git a/compile_server/app/templates/code_page.html b/compile_server/app/templates/code_page.html
index 8dd0a3a..c339f4c 100644
--- a/compile_server/app/templates/code_page.html
+++ b/compile_server/app/templates/code_page.html
@@ -4,6 +4,6 @@
  <h3>{{ example.name }}</h3>
  {{ example.description }}
  <p></p>
- <div example_editor="{{ example.name }}"></div>
+ <div example_editor="{{ example.name }}" prove_button="true"></div>
 
 {% endblock%}
