lean_dojo/__init__.py,sha256=qmgH4J005ZGjQ5TX-exoJgOXShn-LHHzL0oMuwOttNM,737
lean_dojo/constants.py,sha256=P5rSTDq9tHSOZurhP2WA2ifcPVwkVqIE4h87pccHRQ8,3445
lean_dojo/container.py,sha256=GabN5xMd4bD551OtPLpFi1YfBxSsatqYfPmAw9txChI,11409
lean_dojo/utils.py,sha256=MfzV73gMskorViKHI0qSNsMN5Q_NTw314QcufYfc0yM,9987
lean_dojo/data_extraction/ExtractData.lean,sha256=0RiCrrZpHj7RrdQig0zC0UrqBD7D95LpBMC4lvpNVQY,17664
lean_dojo/data_extraction/ast.py,sha256=v7s-dywAZeN12zYZDDJ__ZU6R8mtFPfbgR6AgL_LaRs,47420
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=4XRj_SSbdv3oEzyVjywXad83GKiR6ogZGeT7W2gTDnA,43401
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.0.dist-info/METADATA,sha256=0oVSA_k_sgK42ltgq0SlL-qaWT2zQx5J6QturDCIbJk,7925
lean_dojo-1.7.0.dist-info/WHEEL,sha256=TJPnKdtrSue7xZ_AVGkp9YXcvDrobsjBds1du3Nx6dc,87
lean_dojo-1.7.0.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-1.7.0.dist-info/RECORD,,
