From 51509875850c4bdfb8d6d4d361b7e8356094535a Mon Sep 17 00:00:00 2001
From: Gregory Makodzeba <73550323+gregorymakodzeba@users.noreply.github.com>
Date: Tue, 10 Dec 2024 22:09:45 -0500
Subject: [PATCH] Update README.md (#711)

---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 0cd181456..e4955b595 100644
--- a/README.md
+++ b/README.md
@@ -6,8 +6,9 @@ KWasm: Semantics of WebAssembly in K
 
 ---
 
-This repository presents a prototype formal semantics of [WebAssembly].
-It is currently under construction.
+This repository presents the formal semantics of [WebAssembly].
+KWasm is a mature and production-ready semantics for WebAssembly, actively developed and maintained since 2019.
+
 For examples of current capabilities, see the unit tests under the `tests/simple` directory.
 
 Repository Structure