LICENSE
README.md
pyproject.toml
levipy/__init__.py
levipy.egg-info/PKG-INFO
levipy.egg-info/SOURCES.txt
levipy.egg-info/dependency_links.txt
levipy.egg-info/requires.txt
levipy.egg-info/top_level.txt
levipy/geometry/__init__.py
levipy/geometry/covariant_derivative.py
levipy/geometry/lie_bracket.py
levipy/geometry/manifold.py
levipy/gr/__init__.py
levipy/gr/geodesic.py
levipy/gr/parallel.py
levipy/lean4/__init__.py
levipy/lean4/mathlib_linker.py
levipy/lean4/theorem_builder.py
levipy/lean4/translator.py
levipy/tensors/__init__.py
levipy/tensors/christoffel.py
levipy/tensors/einstein.py
levipy/tensors/metric.py
levipy/tensors/ricci.py
levipy/tensors/riemann.py
tests/test_lean4_bridge.py
tests/test_levipy.py
tests/test_translator_general.py