List new tutorials in the index.

coq · Jun 21, 2024 · 74b4bdf · 74b4bdf
1 parent 0e881e9
commit 74b4bdf
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/index.html b/src/index.html
@@ -18,6 +18,10 @@ <h1>Coq Platform Docs - Demo</h1>
         <li><a href="SearchTutorial.v">Search Tutorial (source code)</a></li>
         <li><a href="Tutorial_Equations_basics.html">Equations Tutorial : basics (interactive version)</a></li>
         <li><a href="Tutorial_Equations_basics.v">Equations Tutorial : basics (source code)</a></li>
+        <li><a href="Tutorial_Equations_Obligations.html">Equations Tutorial : obligations (interactive version)</a></li>
+        <li><a href="Tutorial_Equations_Obligations.v">Equations Tutorial : obligations (source code)</a></li>
+        <li><a href="Tutorial_Equations_wf.html">Equations Tutorial : well-founded recursion (interactive version)</a></li>
+        <li><a href="Tutorial_Equations_wf.v">Equations Tutorial : well-founded recursion (source code)</a></li>
     </ul>
 </body>
 </html>