lean_dojo/__init__.py,sha256=wqMg1zPACEbUFzjqXYp1C1Uqp6erVitzBaspSU-Exeg,822
lean_dojo/constants.py,sha256=Z2MEL6l27HatcxDasCLRDpFuR9adbC4enC9oIEuDqQ0,3467
lean_dojo/container.py,sha256=GabN5xMd4bD551OtPLpFi1YfBxSsatqYfPmAw9txChI,11409
lean_dojo/utils.py,sha256=MfzV73gMskorViKHI0qSNsMN5Q_NTw314QcufYfc0yM,9987
lean_dojo/data_extraction/ExtractData.lean,sha256=dGyZ1-Esld1OICUvOpfa1rKno0UbpCD8nDEdQMuf6Ms,17695
lean_dojo/data_extraction/ast.py,sha256=ZTCjp7X34SOY14fQvLhFUZAnaUNX-bA87LpwhwE41rQ,50220
lean_dojo/data_extraction/build_lean4_repo.py,sha256=ubpGlYKI196s6qJ_WKN4Jx_1jux4blDBkdlLqmi6hqg,6468
lean_dojo/data_extraction/cache.py,sha256=mwW2-jcK9whYMo5qHAwdjhe472EGq59qTHBtRpyYafI,3489
lean_dojo/data_extraction/lean.py,sha256=_Njpdw9tSRbzZHbwRXctEJfpX4bCspo1Z1oIb-feEvc,22650
lean_dojo/data_extraction/trace.py,sha256=qazFOiy8d_lQVrxUoYYMdh2_DHeRQ5dKu6H5OuLvy8Y,4803
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=1ZJJ08BvkvNgX53QWS4LJR-NOT4qKwmhnqy43csqsEE,18213
lean_dojo/interaction/parse_goals.py,sha256=wWVQw2CIUbfvVqugCj7P08RAhGBTO2L2kEp0P7fhw64,1773
lean_dojo-1.9.0.dist-info/METADATA,sha256=FmVVlGmEgNqDCUOVyn5BQWaOw0jhIXVrvStIIpnzE0A,7854
lean_dojo-1.9.0.dist-info/WHEEL,sha256=TJPnKdtrSue7xZ_AVGkp9YXcvDrobsjBds1du3Nx6dc,87
lean_dojo-1.9.0.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-1.9.0.dist-info/RECORD,,
