Make LionsOS status clearer regarding verification

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
au-ts · Oct 29, 2024 · 998b29b · 998b29b
1 parent bb31098
commit 998b29b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/content/_index.md b/content/_index.md
@@ -7,7 +7,9 @@ type: docs
 
 {{< hint info >}}
 LionsOS is currently at version 0.2.0 and is undergoing active research and
-development. It is not expected for LionsOS to be stable at this time, but it
+development, it does not have a concrete verification story yet.
+
+It is not expected for LionsOS to be stable at this time, but it
 is available for others to experiment with. For more info, see
 [Status & Roadmap](/docs/status_and_roadmap).
 {{< /hint >}}