lean_dojo/__init__.py,sha256=n0AVv5YGkjMoph7GoN-bSatWTDU3z9fSmXsP82hQSn4,711
lean_dojo/constants.py,sha256=BpRA3ldB64lZM57wYVbvXueBzYsWMLktU-xaH-dF4sU,2549
lean_dojo/container.py,sha256=LRygqcfb7Z92c-KZr1PCkvBv__3DUhpnkr7zkqPRlRg,11641
lean_dojo/utils.py,sha256=bnlGiNoovDn-BcTQQbgHg2OFXtpUw3u9ryWAf09w4bY,11619
lean_dojo/data_extraction/0001-Modify-Lean-for-proof-recording.patch,sha256=yAuH5CJp1HCq4NFPr7fS86OYeuws7PCGDMMfr3bZkIU,17589
lean_dojo/data_extraction/ExtractData.lean,sha256=-G39zQRxyGTw_xrSJ-8pYxY2ZO3Zp3UUTvVm-MTZmJI,12065
lean_dojo/data_extraction/build_lean3_repo.py,sha256=iObFss0_bNjyMiRLj3LgNz7Pzj1XuzxaX_SwHnTOgF8,5376
lean_dojo/data_extraction/build_lean4_repo.py,sha256=VHwkUtdDSDZGXGthQRsNuziRVOhX2cVi1IVbVnGIvBc,4699
lean_dojo/data_extraction/cache.py,sha256=cw_KaH3xORSy5pTu1yAwBDcfSH2IG5-QyLDgcBZQaWg,3746
lean_dojo/data_extraction/lean.py,sha256=wqctQVeLqNCDjSK5bOBEYdZ9B2ceZ5wUDTLanJTJ7mI,17785
lean_dojo/data_extraction/trace.py,sha256=-9nPJLPQ3r7romiA64_yrugLbyHLSqyaGPG1cH4Io8k,6185
lean_dojo/data_extraction/traced_data.py,sha256=VU-Mn1bKsVTvHKLXPzU2KNivQd_OQ2F6_Ay3DW8NW4I,47904
lean_dojo/data_extraction/ast/lean3/ast_utils.py,sha256=5xEIZ08qWv1rfLE_wwEnd2mQ10JTARUdeZ2pZDz1bKQ,390
lean_dojo/data_extraction/ast/lean3/expr.py,sha256=KgnDFi_4txdz4S69T2jwGNMPclvDSsYF2QYwH_UN7Uo,12503
lean_dojo/data_extraction/ast/lean3/node.py,sha256=f1WYUkTP1OAyOre_UOHSNI5uUEw-tkDokyUCYeTu2Tc,74077
lean_dojo/data_extraction/ast/lean4/node.py,sha256=Nyy0gloIm8kBEyBdBtWgZEC_Yv9prxKjyLaJ8wFfiBg,26808
lean_dojo/interaction/Lean4Repl.lean,sha256=frfYPYquCh05pOFZ0nuEy2qoXN4aioz7iZHrCjxgiZ8,8056
lean_dojo/interaction/dojo.py,sha256=fflCRxaREqA8o8tL7_rcK9ZldtIzT75XYl7U1g4S9WY,17727
lean_dojo/interaction/lean3_repl.lean,sha256=pB-Y1dpvMLAPy8Dx312PbMDIpVqRSf6N2h7UfFJas8E,20967
lean_dojo-1.1.0.dist-info/METADATA,sha256=TfYl1X8LIXM_4HvteSOmA-zGd-UBTDbYUpt7ThATZtM,6890
lean_dojo-1.1.0.dist-info/WHEEL,sha256=9QBuHhg6FNW7lppboF2vKVbCGTVzsFykgRQjjlajrhA,87
lean_dojo-1.1.0.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-1.1.0.dist-info/RECORD,,
