oops, typo

GillianPlatform · Nov 19, 2024 · e8e1047 · e8e1047
1 parent dd6df4d
commit e8e1047
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sphinx/index.rst b/sphinx/index.rst
@@ -1,7 +1,7 @@
 Welcome to Gillian
 ====================
 
-Gillian is a multi-language analysis platform supporting, e.g., verification and symbolic testing. Gillian has currently by instantiated to C, JavaScript, and Rust.
+Gillian is a multi-language analysis platform supporting, e.g., verification and symbolic testing. Gillian has currently been instantiated to C, JavaScript, and Rust.
 
 .. toctree::
    :titlesonly: