diff --git a/README.md b/README.md index c0fcb6309..faa54a9c5 100644 --- 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