diff --git a/.github/workflows/aya.yml b/.github/workflows/aya.yml
index ae24885..9bcb592 100644
--- a/.github/workflows/aya.yml
+++ b/.github/workflows/aya.yml
@@ -23,7 +23,9 @@ jobs:
         uses: actions/cache@v4
         with:
             path: github-pages
-            key: github-pages
+            key: github-pages-${{ github.run_id }}
+            restore-keys: |
+              github-pages
       - uses: extractions/setup-just@v1
         with:
           just-version: 1.35.0
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 81b2d5f..0f06c77 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -38,11 +38,13 @@ jobs:
           uses: actions/checkout@v4
         - name: Setup Pages
           uses: actions/configure-pages@v5
-        - name: Restore github-pages cache
+        - name: Cache github-pages
           uses: actions/cache@v4
           with:
               path: github-pages
-              key: github-pages
+              key: github-pages-${{ github.run_id }}
+              restore-keys: |
+                github-pages
         - name: Display structure of downloaded files
           run: ls -R github-pages
         - name: Upload artifact
diff --git a/.github/workflows/lean4.yml b/.github/workflows/lean4.yml
index aa1330e..d8da50d 100644
--- a/.github/workflows/lean4.yml
+++ b/.github/workflows/lean4.yml
@@ -45,7 +45,9 @@ jobs:
         uses: actions/cache@v4
         with:
             path: github-pages
-            key: github-pages
+            key: github-pages-${{ github.run_id }}
+            restore-keys: |
+              github-pages
       - name: Install Python
         uses: actions/setup-python@v5
         with:
diff --git a/README.md b/README.md
index 74a50c3..4616bb7 100644
--- a/README.md
+++ b/README.md
@@ -2,5 +2,9 @@
 
 My monorepo for formalization:
 
-* [Lean 4 Playground](./lean4/README.md) [![Lean 4 CI](https://github.com/utensil/formal-land/actions/workflows/lean4.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/lean4.yml)
-* [Aya Playground](./aya/README.md) [![Aya CI](https://github.com/utensil/formal-land/actions/workflows/aya.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/aya.yml)
\ No newline at end of file
+- [![Lean 4 CI](https://github.com/utensil/formal-land/actions/workflows/lean4.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/lean4.yml)
+  - [README.md](./lean4/README.md)
+  - website: [lean4](https://utensil.github.io/formal-land/lean4/)
+- [![Aya CI](https://github.com/utensil/formal-land/actions/workflows/aya.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/aya.yml)
+  - [README.md](./aya/README.md)
+  - website: [literate.aya](https://utensil.github.io/formal-land/aya/literate.aya.html)
\ No newline at end of file