Add an index (to be manually updated).

Villetaneuse · Jun 20, 2024 · 83cff4c · 83cff4c
1 parent 0eb53b6
commit 83cff4c
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/src/index.html b/src/index.html
@@ -0,0 +1,23 @@
+<!DOCTYPE html>
+<html>
+<head>
+    <title>Coq Platform Docs - Demo</title>
+</head>
+<body>
+    <h1>Coq Platform Docs - Demo</h1>
+    <p>
+        This is a demo page for the Coq Platform Docs.
+    </p>
+    <p>
+        List of available tutorials:
+    </p>
+    <ul>
+        <li><a href="RequireImportTutorial.html">Require/Import Tutorial (interactive version)</a></li>
+        <li><a href="RequireImportTutorial.v">Require/Import Tutorial (source code)</a></li>
+        <li><a href="SearchTutorial.html">Search Tutorial (interactive version)</a></li>
+        <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>
+    </ul>
+</body>
+</html>