Create index.md

leanprover · Apr 25, 2024 · 0642998 · 0642998
1 parent af2fe90
commit 0642998
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/index.md b/index.md
@@ -0,0 +1 @@
+# SampCert