Update README.md (#607)

opencompl · Sep 9, 2024 · 9139600 · 9139600
1 parent 59b081c
commit 9139600
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -19,6 +19,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)
 
 #### Installation