Improve README CI badge

.github/workflows/aya.yml

@@ -1,4 +1,4 @@
-name: Aya Playground CI
+name: Aya CI
 
 on:
   push:

.github/workflows/lean4.yml

@@ -1,4 +1,4 @@
-name: Lean 4 Playground
+name: Lean 4 CI
 
 on:
   # Triggers the workflow on push or pull request events but only for the "main" branch and "v4*" branches

aya/README.md

@@ -1,3 +1,5 @@
 # Aya Playground
 
+[![Aya CI](https://github.com/utensil/formal-land/actions/workflows/aya.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/aya.yml)
+
 Experiments with [Aya Prover](https://www.aya-prover.org/).

lean4/Playground/index.lean

@@ -2,8 +2,6 @@
 
 # Lean 4 Playground
 
-[![Lean 4 Playground](https://github.com/utensil/lean-playground/actions/workflows/lean4.yml/badge.svg)](https://github.com/utensil/lean-playground/actions/workflows/lean4.yml)
-
 -/
 
 #eval Lean.versionString

lean4/README.md

@@ -1,5 +1,9 @@
 # Lean 4 Playground
 
+[![Lean 4 Playground](https://github.com/utensil/formal-land/actions/workflows/lean4.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/lean4.yml)
+
+See it in action [here](https://utensil.github.io/formal-land/).
+
 ## Install Lean 4 and Configure it
 
 Just trigger it following [Quickstart in Lean 4 Manual](https://leanprover.github.io/lean4/doc/quickstart.html) with the help from the VSCode extension for Lean 4.