levipy/__init__.py,sha256=X7p3L0oBlOv8YPI4sJ_qpkB9YxwZEQ-tnX1RdMXBIuk,1608
levipy/geometry/__init__.py,sha256=UmutzRqs0cmH8bFz7P8gJ16GZeUUkhZQu7qiMt0J3sM,167
levipy/geometry/covariant_derivative.py,sha256=IqBDuaYZmFhCYzj3KftcuiQdEhTRiJvUaAQerWFKzwM,3120
levipy/geometry/lie_bracket.py,sha256=nf6YQ9756Dnyd7kzo8aDq_dV5nLbTAbCSUOHPuOf9lU,1855
levipy/geometry/manifold.py,sha256=Yljiz1-N8vyvN1QP_d4tLNMXLgFZkvr9_GqwW-HavPI,1908
levipy/gr/__init__.py,sha256=yolXVJUPb-3J7PWs5z6hMFefJ_cqlNyj2EloQbbEsqg,98
levipy/gr/geodesic.py,sha256=UM5HQCkAB4RkCLuVsvypMEdpWZQu_Lu86DoEUQZeGsE,2324
levipy/gr/parallel.py,sha256=i4m_ZlAxMmoB0zpY21AmMF0L1vNgXZtiamXwrTLfl-4,2362
levipy/lean4/__init__.py,sha256=4ZgAuaqasDze3HYc-3xtwt8ySHtUeh1jnUfFKiL9deQ,887
levipy/lean4/mathlib_linker.py,sha256=VICkfDH-BODM_9m1bTH0UQJ5NqyuPLPVLZMkPrj5afI,5807
levipy/lean4/theorem_builder.py,sha256=ocpUtbLKgilXgRM1Mi9PdFyul4CcgUGaGh67XtQwySw,17358
levipy/lean4/translator.py,sha256=Ji8CEohpD5L8knRZ3s6LqHx7xKL7YAZZKtY48sMbj8c,25588
levipy/tensors/__init__.py,sha256=-RlpInvRAnh_rIA5sDykUm33GEMs9Q4dk6YX5MXslyw,263
levipy/tensors/christoffel.py,sha256=glv-bwjSDyKkeFKMrIPG1Av0CzzHXMbsc6qSrL02Toc,4060
levipy/tensors/einstein.py,sha256=qQRosiU1dv6DeiZ82fulV3SIit0ZdLuj3nw1mnD9xX4,1581
levipy/tensors/metric.py,sha256=j3w5BhADdKPLWxrAZC_ibxus962TZgF71i_yFbczmu8,4486
levipy/tensors/ricci.py,sha256=4o4_PCHzg9XfIMA5hUAaAo9VwqNLe3Jm7oA2hIMHpus,2119
levipy/tensors/riemann.py,sha256=sNHvgrEaGOayugTxln1TxQNjWwd183dyeL-fa8TID9g,4206
levipy-0.1.1.dist-info/licenses/LICENSE,sha256=IRGHf3FN7Wg3BO6qgt6y98Soi0VMLw712noeTrrXKFA,1074
levipy-0.1.1.dist-info/METADATA,sha256=KJYRVNjzT5xVOBKUFZSE0bzRkhtVm06NSkTFf1bh0tY,7294
levipy-0.1.1.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
levipy-0.1.1.dist-info/top_level.txt,sha256=4MO87Byv1ktu2sCAel5XgpSpclMWpErb2YGuOQv_4Lo,7
levipy-0.1.1.dist-info/RECORD,,
