lean_dojo/__init__.py,sha256=_W-ZVzb8elaoIjKlqyVbt1t2hVXY6kfNR1D2-UVaAWU,662
lean_dojo/constants.py,sha256=QOWV_XCY8TYNK5M8gwGJCxlqw4AbJTJBVmsJDl-dyLU,2820
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=Ed_e58rGRuIee8tikSIdZHTKOSQnp03OMUsyzSgLejA,29536
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.2.0.dist-info/METADATA,sha256=u14STFFNYNDEEBWNQfp445eE-bCvL2XHNpBGuKNADjo,7900
lean_dojo-2.2.0.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
lean_dojo-2.2.0.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-2.2.0.dist-info/RECORD,,
