lean_dojo/__init__.py,sha256=8ORDh8oTayzwB5YhOeGe3m4KnAXhrot7vTeWGXyJiuM,824
lean_dojo/constants.py,sha256=1v8xufjoaJ-ZXu0ZXCvvhXvfG9D2lqJgjSaIhluteWI,2716
lean_dojo/utils.py,sha256=4eXcHS6tXkVpHsSbTaehQbcZ2ZI0lDIXkY1DJRRPLNk,10009
lean_dojo/data_extraction/ExtractData.lean,sha256=BCAH2qn73YrDGU_dzm4RrtInTQBnOmmUOM4hDhvUT60,17696
lean_dojo/data_extraction/ast.py,sha256=EL5tslWbxFTHa0K7x0PhiMia3g9YkgC4e2L1GKaQAQw,50372
lean_dojo/data_extraction/cache.py,sha256=mwW2-jcK9whYMo5qHAwdjhe472EGq59qTHBtRpyYafI,3489
lean_dojo/data_extraction/lean.py,sha256=S5RDpwo6oHbcc5g-jWhe_R8TnhxRn1P74mR1OyaRiCQ,22331
lean_dojo/data_extraction/trace.py,sha256=L6-_t-TwpQIHYMWfTr5qiIfRvgDz-50z5ne2WMxUFBg,9537
lean_dojo/data_extraction/traced_data.py,sha256=kfzEO5iZwmvysgcxcvIb8p2iffYF2uqWL-owhyezo4U,43616
lean_dojo/interaction/Lean4Repl.lean,sha256=18Kj2oYpEn05sDeSUHLR8ske7rDgAPwe4JwFBLcPE9A,11219
lean_dojo/interaction/dojo.py,sha256=l_Oo5YbF71bThOBOZWC0G1E_fK2Ak72lzrRY5Jb6-xU,14397
lean_dojo/interaction/parse_goals.py,sha256=wWVQw2CIUbfvVqugCj7P08RAhGBTO2L2kEp0P7fhw64,1773
lean_dojo-2.0.3.dist-info/METADATA,sha256=DryEuXFOnyirfSBqMUKURlQE48g095fPQr1deerVjho,7874
lean_dojo-2.0.3.dist-info/WHEEL,sha256=1yFddiXMmvYK7QYTqtRNtX66WJ0Mz8PYEiEUoOUUxRY,87
lean_dojo-2.0.3.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-2.0.3.dist-info/RECORD,,
