From 83cff4ce629d86add08aaa2cf3f19a44eda62c91 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Thu, 20 Jun 2024 13:48:21 +0200 Subject: [PATCH] Add an index (to be manually updated). --- src/index.html | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 src/index.html diff --git a/src/index.html b/src/index.html new file mode 100644 index 0000000..d07d70c --- /dev/null +++ b/src/index.html @@ -0,0 +1,23 @@ + + + + Coq Platform Docs - Demo + + +

Coq Platform Docs - Demo

+

+ This is a demo page for the Coq Platform Docs. +

+

+ List of available tutorials: +

+ + + \ No newline at end of file