Deploy to GitHub pages

coq-community · Aug 11, 2024 · a882038 · a882038
commit a882038
Show file tree

Hide file tree

Showing 3 changed files with 415 additions and 0 deletions.
diff --git a/_config.yml b/_config.yml
@@ -0,0 +1 @@
+theme: jekyll-theme-cayman
diff --git a/coq-logo.svg b/coq-logo.svg