lean_dojo/__init__.py,sha256=qmgH4J005ZGjQ5TX-exoJgOXShn-LHHzL0oMuwOttNM,737
lean_dojo/constants.py,sha256=XAc2aH9V5SBe-TDk16DIEcmTSte5MnnTtr3a6pscG54,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=SZ3-g7HUFdwOsgZ31UjVZFIairn2fqO19BfS7DggMwU,48599
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=LdbnzColTd6lHGnyk8-t0T9fbMRKFPdTqyugXSoW1kc,20990
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=974IiqA8Nsu-w7_imjJ1IVMUIYnajU0TWQrZZhkN8KE,17937
lean_dojo/interaction/parse_goals.py,sha256=wWVQw2CIUbfvVqugCj7P08RAhGBTO2L2kEp0P7fhw64,1773
lean_dojo-1.7.1.dist-info/METADATA,sha256=kXJrNG12YSGSwhlCF7UYSUxuGSVbzGJuG0julwMCb2g,7925
lean_dojo-1.7.1.dist-info/WHEEL,sha256=TJPnKdtrSue7xZ_AVGkp9YXcvDrobsjBds1du3Nx6dc,87
lean_dojo-1.7.1.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-1.7.1.dist-info/RECORD,,
