format code

src/lean_dojo/data_extraction/lean.py

@@ -446,7 +446,9 @@ def __post_init__(self) -> None:
             lean_version = get_lean4_commit_from_config(config)
             v = get_lean4_version_from_config(config["content"])
             if not is_supported_version(v):
-                logger.warning(f"{self} relies on an unsupported Lean version: {lean_version}")
+                logger.warning(
+                    f"{self} relies on an unsupported Lean version: {lean_version}"
+                )
         info_cache.lean_version[(self.url, self.commit)] = lean_version
         object.__setattr__(self, "lean_version", lean_version)
 

src/lean_dojo/utils.py

@@ -255,7 +255,11 @@ def _from_lean_path(root_dir: Path, path: Path, repo, ext: str) -> Path:
         p = path.relative_to(LEAN4_PACKAGES_DIR).with_suffix(ext)
         repo_name = p.parts[0]
         return (
-            LEAN4_PACKAGES_DIR / repo_name / LEAN4_BUILD_DIR / "ir" / p.relative_to(repo_name)
+            LEAN4_PACKAGES_DIR
+            / repo_name
+            / LEAN4_BUILD_DIR
+            / "ir"
+            / p.relative_to(repo_name)
         )
     else:
         # E.g., "Mathlib/LinearAlgebra/Basics.lean"