Merge remote-tracking branch 'origin/main' into llvm-integer-cast-ops

opencompl · Oct 25, 2024 · 3d133a8 · 3d133a8
2 parents bd0a83c + 5a4957b
commit 3d133a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -17,7 +17,7 @@ to enable workflows that include formal verification in the day-to-day of MLIR d
 
 - **Publication: [Verifying Peephole Rewriting In SSA Compiler IRs](https://arxiv.org/abs/2407.03685)**
 - [API Documentation (auto-generated)](https://opencompl.github.io/lean-mlir/)
-- Play Ground at [lean-mlir.grosser.es](https://lean-mlir.grosser.es)
+- Playground at [lean-mlir.grosser.es](https://lean-mlir.grosser.es)
 
 #### Installation