lean_dojo/__init__.py,sha256=CHTkdcAAdST3Clua5XLWvkFNMdQLqIaF6N7GZmPLzpQ,914
lean_dojo/constants.py,sha256=M3hnbPZRQEW_0qIySjj_x580g9hrKcC5-lmNnum43AY,3433
lean_dojo/container.py,sha256=SXg_UZgoBVW6FqSewwp9Q8tGMJ4uDBb6eiB8DlLzAsA,11739
lean_dojo/utils.py,sha256=D5zdVkg2mZv2PRm6U84z-mXuRRgsC-OBFLLpokZhSxk,11032
lean_dojo/data_extraction/0001-Modify-Lean-for-proof-recording.patch,sha256=yAuH5CJp1HCq4NFPr7fS86OYeuws7PCGDMMfr3bZkIU,17589
lean_dojo/data_extraction/ExtractData.lean,sha256=w-rGoxvXKCzeNa7ZCLUSLxivqW8l6tpxI6oYmtCFQ8Q,14399
lean_dojo/data_extraction/build_lean3_repo.py,sha256=OZulj5JVFtYeaSCjHt3d0807vKA_KKuzSh9Gg1Nfm_o,5613
lean_dojo/data_extraction/build_lean4_repo.py,sha256=VNPKSKokqvngi9VPBvO-4QTd79fU0ttN7CpPww7sOCw,5523
lean_dojo/data_extraction/cache.py,sha256=1X9SCxkOA3gRbvzaEufjiUs1Be_R0OTtvNXNjCbId-0,3574
lean_dojo/data_extraction/lean.py,sha256=0bh0d_DgktZ4Jq2gmm6riPcWxtlbcyAc4FVIjy69ZtI,20228
lean_dojo/data_extraction/trace.py,sha256=o_JhxIXJoo9ZvEJ7xdShpTrouCTo5BWyDYUKCljyq5A,6175
lean_dojo/data_extraction/traced_data.py,sha256=ANOIn9qDGNEqvMvap5-WrkceUul-hhd0t2xjTFmZmdw,56790
lean_dojo/data_extraction/ast/lean3/ast_utils.py,sha256=5xEIZ08qWv1rfLE_wwEnd2mQ10JTARUdeZ2pZDz1bKQ,390
lean_dojo/data_extraction/ast/lean3/expr.py,sha256=8NwNf2d8xvvB_iKnma3g8oQa3UQCng0-fws070yr7cc,12458
lean_dojo/data_extraction/ast/lean3/node.py,sha256=R_4IuLTILXEu7ilczcwjW3v__la6W0hv_eODKBTWNo0,74032
lean_dojo/data_extraction/ast/lean4/node.py,sha256=CcxxarxryrCy2cCX_1meaFT1joD7QPOVMJoRa1exhrg,27150
lean_dojo/interaction/Lean4Repl.lean,sha256=rOfncRMCeZaklg4okYITDTboCmDSOYCkFIYHucrfwA8,10843
lean_dojo/interaction/dojo.py,sha256=dNrnZaYSA6uV6weRjULHzkO3xVQYcZDndlvC2jAfkjw,19871
lean_dojo/interaction/lean3_repl.lean,sha256=B5vDoxbZKqMWCfBezuGw2igkrHSoxX6-Ti3T6nkpY7o,20999
lean_dojo/interaction/parse_goals.py,sha256=9tMrnPOlDaC6K0JELaAVVMeLQL1l2LSvhHRttcyS-ds,1772
lean_dojo-1.2.2.dist-info/METADATA,sha256=fuh6JFZHWjN0HIsNXnk1g-DaZ1CyHF98QwTOhOmdAU4,7347
lean_dojo-1.2.2.dist-info/WHEEL,sha256=9QBuHhg6FNW7lppboF2vKVbCGTVzsFykgRQjjlajrhA,87
lean_dojo-1.2.2.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-1.2.2.dist-info/RECORD,,
