lean_dojo/__init__.py,sha256=_W-ZVzb8elaoIjKlqyVbt1t2hVXY6kfNR1D2-UVaAWU,662
lean_dojo/constants.py,sha256=B6rDK3BU9m5Hcgmqud2J1h1IdJ2z_9jZFyFtXkoIqiI,2818
lean_dojo/utils.py,sha256=TqOpPQAQAh4OgT0uEkUxszPbho6fs_jD8GGrmygEKKw,9899
lean_dojo/data_extraction/ExtractData.lean,sha256=BCAH2qn73YrDGU_dzm4RrtInTQBnOmmUOM4hDhvUT60,17696
lean_dojo/data_extraction/ast.py,sha256=RcsBZf9DENr4xDZLaIsf6K1hgjLz8koZsxhQYCOcdT4,50464
lean_dojo/data_extraction/cache.py,sha256=uVhcEFW5gDI4QQLgYu6K6iSdGnrrScTJORs3EBmXbV4,3111
lean_dojo/data_extraction/lean.py,sha256=TrgQiW-_phBRr8nzOh081bOM3Jv1WP168QAXoAZphyE,29331
lean_dojo/data_extraction/trace.py,sha256=xHoyXS8BdmV1KisrHm01Bai-MjsBND7JhPIFDPcmHBc,9671
lean_dojo/data_extraction/traced_data.py,sha256=Vd5WoYLLb7SbjSoZA9qUtj5z3EPnt7ukoTZwkN7c6MY,43979
lean_dojo/interaction/Lean4Repl.lean,sha256=OBm3wR3NGUE5MpVmUtvNlpqgYGX6XsRd-jBOytFAaAI,11223
lean_dojo/interaction/dojo.py,sha256=cCyygKfnEpCFI8wWX7PIVyeuLyOin8BRF3oU2ZPU0_E,14307
lean_dojo/interaction/parse_goals.py,sha256=wWVQw2CIUbfvVqugCj7P08RAhGBTO2L2kEp0P7fhw64,1773
lean_dojo-2.1.3.dist-info/METADATA,sha256=Rjhbte29o7HNSVUuBqQ5f3P6qPYlMzlCE5nAAUgUVqQ,7899
lean_dojo-2.1.3.dist-info/WHEEL,sha256=1yFddiXMmvYK7QYTqtRNtX66WJ0Mz8PYEiEUoOUUxRY,87
lean_dojo-2.1.3.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-2.1.3.dist-info/RECORD,,
