~

lean-dojo · Jun 26, 2023 · 0b0490f · 0b0490f
1 parent 89cf180
commit 0b0490f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -412,18 +412,21 @@ <h2 class="title is-3"><span class="dvima">ChatGPT for Theorem Proving</span></h
                             <video controls muted width="100%">
                                 <source src="images/chatgpt-1.mp4" type="video/mp4">
                             </video>
+                            <a target="_blank" href="https://github.com/yangky11/lean-example/blob/5a0360e49946815cb53132638ccdd46fb1859e2a/src/example.lean#L3">hello_world</a>: a + b + c = a + c + b
                         </div>
 
                         <div class="column has-text-left video-column">
                             <video controls muted width="100%">
                                 <source src="images/chatgpt-2.mp4" type="video/mp4">
                             </video>
+                            <a target="_blank" href="https://github.com/yangky11/lean-example/blob/5a0360e49946815cb53132638ccdd46fb1859e2a/src/example.lean#L3">hello_world</a>: a + b + c = a + c + b
                         </div>
 
                         <div class="column has-text-left video-column">
                             <video controls muted width="100%">
                                 <source src="images/chatgpt-3.mp4" type="video/mp4">
                             </video>
+                            <a target="_blank" href="https://github.com/yangky11/lean-example/blob/5a0360e49946815cb53132638ccdd46fb1859e2a/src/example.lean#L3">hello_world</a>: a + b + c = a + c + b
                         </div>
                     </div>
                 </div>