lean_dojo/__init__.py,sha256=wqMg1zPACEbUFzjqXYp1C1Uqp6erVitzBaspSU-Exeg,822
lean_dojo/constants.py,sha256=04Sf23N5zYgBNCuEJ9QygzE6XWCV04HwPUKSVLT1CR4,3445
lean_dojo/container.py,sha256=GabN5xMd4bD551OtPLpFi1YfBxSsatqYfPmAw9txChI,11409
lean_dojo/utils.py,sha256=MfzV73gMskorViKHI0qSNsMN5Q_NTw314QcufYfc0yM,9987
lean_dojo/data_extraction/ExtractData.lean,sha256=pWBE5HiaSDGNa9-DdlJObJ_GeFHs2rogX3k5tasOLK8,17754
lean_dojo/data_extraction/ast.py,sha256=Vkie_y9tKZ3dbnc34BwLdt-214RNmuf-dPY8x6HGKP0,48595
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=PMMicyv__ZfX-zgt5XhziL1gLxOfyI36-sXAEUnvl9U,20689
lean_dojo/data_extraction/trace.py,sha256=qazFOiy8d_lQVrxUoYYMdh2_DHeRQ5dKu6H5OuLvy8Y,4803
lean_dojo/data_extraction/traced_data.py,sha256=Ow_pEJw1zQ79Xr-c0KuWF1Jdp_MXFR7fBEhidyP4PjU,43534
lean_dojo/interaction/Lean4Repl.lean,sha256=FBmP1fdMDmudDCLQ75oHmSTTr2hosslQAKkUuFil4VI,11202
lean_dojo/interaction/dojo.py,sha256=jR2P5CHUBHDPvmlZg2sSC59lRaQ7zlNf3_H9Yz6lwdM,18147
lean_dojo/interaction/parse_goals.py,sha256=wWVQw2CIUbfvVqugCj7P08RAhGBTO2L2kEp0P7fhw64,1773
lean_dojo-1.8.2.dist-info/METADATA,sha256=VGC4Fl7fB9NEgK_x-uHunwNqAuaPdVHemSK7JmQGMCY,7897
lean_dojo-1.8.2.dist-info/WHEEL,sha256=TJPnKdtrSue7xZ_AVGkp9YXcvDrobsjBds1du3Nx6dc,87
lean_dojo-1.8.2.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-1.8.2.dist-info/RECORD,,
