Skip to content

Commit

Permalink
~
Browse files Browse the repository at this point in the history
  • Loading branch information
Kaiyu Yang committed Jun 26, 2023
1 parent c44a1c9 commit fefba00
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 24 deletions.
Binary file modified images/chatgpt-1.mp4
View file
Binary file not shown.
Binary file added images/chatgpt-2.mp4
View file
Binary file not shown.
29 changes: 5 additions & 24 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -409,39 +409,20 @@ <h2 class="title is-3"><span class="dvima">ChatGPT for Theorem Proving</span></h

<div class="columns">
<div class="column has-text-left video-column">
<video controls muted autoplay loop width="100%">
<video controls muted width="100%">
<source src="images/chatgpt-1.mp4" type="video/mp4">
</video>
</div>

<div class="column has-text-left video-column">
<video controls muted autoplay loop width="100%">
<source src="images/chatgpt-1.mp4" type="video/mp4">
</video>
</div>

<div class="column has-text-left video-column">
<video controls muted autoplay loop width="100%">
<source src="images/chatgpt-1.mp4" type="video/mp4">
</video>
</div>
</div>
<div class="columns">
<div class="column has-text-left video-column">
<video controls muted autoplay loop width="100%">
<source src="images/chatgpt-1.mp4" type="video/mp4">
<video controls muted width="100%">
<source src="images/chatgpt-2.mp4" type="video/mp4">
</video>
</div>

<div class="column has-text-left video-column">
<video controls muted autoplay loop width="100%">
<source src="images/chatgpt-1.mp4" type="video/mp4">
</video>
</div>

<div class="column has-text-left video-column">
<video controls muted autoplay loop width="100%">
<source src="images/chatgpt-1.mp4" type="video/mp4">
<video controls muted width="100%">
<source src="images/chatgpt-3.mp4" type="video/mp4">
</video>
</div>
</div>
Expand Down

0 comments on commit fefba00

Please sign in to comment.