[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

Author: pre-commit-ci[bot]

sphinx_proof/__init__.py

@@ -5,6 +5,7 @@
 
 A Sphinx extension for producing proofs, theorems, lemmas, etc.
 """
+
 import os
 from pathlib import Path
 from typing import Any, Dict, Set, Union