rebuilding site Wed Aug 14 11:33:49 CEST 2024

Author: franziskuskiefer

post/announcement-playground/fstar-proof.mp4

@@ -289,7 +289,7 @@ <h2 id="-how-to-prove-rust-code-with-f-online">💥 How to prove Rust code with
 always returns the expected result! 🎉</p>
 <div style="text-align: right; font-size: 70%;">
 
-    <video width="100%" autoplay loop>
+    <video width="100%" autoplay loop controls>
         <source src="fstar-proof.webm" type="video/webm" />
         <source src="fstar-proof.mp4" type="video/mp4" />
     </video>
@@ -306,7 +306,7 @@ <h2 id="-share-it">🙌 Share it!</h2>
 open an issue in hax repository on GitHub.</p>
 <div style="text-align: right; font-size: 70%;">
 
-    <video width="100%" autoplay loop>
+    <video width="100%" autoplay loop  controls>
         <source src="share.webm" type="video/webm" />
         <source src="share.mp4" type="video/mp4" />
     </video>
@@ -337,7 +337,7 @@ <h2 id="-advanced-usage-inspect-the-rust-asts-thir-and-mir">🧐 Advanced Usage:
 subexpression is only one right-click away:</p>
 <div style="text-align: right; font-size: 70%;">
 
-    <video width="100%" autoplay loop/>
+    <video width="100%" autoplay loop controls/>
         <source src="explore-thir.webm" type="video/webm" />
         <source src="explore-thir.mp4" type="video/mp4" />
     </video>