add audio

maxvonhippel · Mar 11, 2024 · fad36a1 · fad36a1
1 parent 929b01b
commit fad36a1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/index.html b/index.html
@@ -55,6 +55,7 @@ <h3>Prior Meetings</h3>
                     <img src="emojis/frog.svg" class="icon" />
                 <td>
                     03/08/24: <a href="https://bitwuzla.github.io/">Bitwuzla: A New SMT Solver For Bit-Precise Reasoning</a>, <a href="https://cs.stanford.edu/~preiner/">Mathias Preiner</a>
+                    [<a href="https://castro.fm/episode/tMxUyx">AUDIO</a>]
                     [<a href="https://youtu.be/b5nZksmewiY">VIDEO</a>]
                 </td>
             </tr>