Post CoqInterval link

FPBench · Jul 12, 2024 · d8b9f70 · d8b9f70
1 parent 7a34377
commit d8b9f70
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/talks/fptalks24.html b/talks/fptalks24.html
@@ -119,6 +119,7 @@ <h3>End-to-End Verification of a Fast and Accurate Floating-Point Approximation<
         <ul class="links">
           <li><a href="https://www.youtube.com/live/k4-WHjAdwOA?si=j87uIQL8lH7p_Y6T&t=7166">Recording</a></li>
           <li><a href="https://hal.science/hal-04515714/document">Paper</a></li>
+          <li><a href="https://coqinterval.gitlabpages.inria.fr/">CoqInterval</a></li>
         </ul>
 
         <h3>Bit Blasting Probabilistic Programs</h3>