🔧 MAINTAIN: fix typo

najuzilu · najuzilu · commit 413fefaa6f42 · 2020-10-09T16:12:22.000+02:00
diff --git a/docs/source/index.md b/docs/source/index.md
@@ -21,7 +21,7 @@ corollary, algorithm, example, property, observation and proposition directives.
 
 
 ```{warning}
-sphinxcontrib-proof `0.0.3` is in a development stage and may change rapidly.
+sphinx-proof `0.0.3` is in a development stage and may change rapidly.
 ```
 
 **Features**:
