lean_dojo/__init__.py,sha256=-Opaq-5UWqvPePib3rcvJzdNYNO1o_OXX7n68AD80r8,718
lean_dojo/constants.py,sha256=lhMIi_vr_PwtIb_8fZCPVN2ETIvPuVu8oads2SYrKp4,4814
lean_dojo/container.py,sha256=N53hRvxSBKj5PvncBsgPpdw_mLFnIDIBhMuw0n_ZnnQ,11408
lean_dojo/utils.py,sha256=gPal1n2aqq2EKHwzgVOLZAHvbnA01CgSHY8N5KADJu0,11218
lean_dojo/data_extraction/0001-Modify-Lean-for-proof-recording.patch,sha256=yAuH5CJp1HCq4NFPr7fS86OYeuws7PCGDMMfr3bZkIU,17589
lean_dojo/data_extraction/ExtractData.lean,sha256=MNliRxELQhxMyrKCsDibpc-ieRPJo9fhWG9Bz316sHk,17316
lean_dojo/data_extraction/build_lean3_repo.py,sha256=OZulj5JVFtYeaSCjHt3d0807vKA_KKuzSh9Gg1Nfm_o,5613
lean_dojo/data_extraction/build_lean4_repo.py,sha256=WGN4I3i5wR5gpBqhYO1t00sUvjsKPZdVyUPoaFmWlxU,6441
lean_dojo/data_extraction/cache.py,sha256=HCo4qP0sdBQdWof-rAX45kjiE7iK1UjqaozAQtWw1mQ,3471
lean_dojo/data_extraction/lean.py,sha256=JYll7UUkRs50N8EtxI9LTo3qzxQ94mhSOXgMBHlNHYI,23333
lean_dojo/data_extraction/trace.py,sha256=bfzDBijmEF7-Y8sq_M7P0kRQlPGJyWZECf2JCe86ccQ,7585
lean_dojo/data_extraction/traced_data.py,sha256=txpFEYn4QCJ6ou9cPuazLkHZ_kjNc5EMDJM1JUseOy0,57168
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=0k_Bb2I9eEB1VQ1bpnKCC4_OSvqMpxHgHTVAiozI5ow,74075
lean_dojo/data_extraction/ast/lean4/node.py,sha256=nhiVDEznHHQ4mW3X-7zGWmlX1kz7p4qGcYmdvx7OJSQ,47564
lean_dojo/interaction/Lean4Repl.lean,sha256=8yYDhiEpqZH18tdpyEweDwfbx6QjLErNVpyMFXqeQIM,11160
lean_dojo/interaction/dojo.py,sha256=Njsk93gF7rJI1-O7KCCrQkFhNGyTafLiDCQyNuXjK0U,21192
lean_dojo/interaction/lean3_repl.lean,sha256=B5vDoxbZKqMWCfBezuGw2igkrHSoxX6-Ti3T6nkpY7o,20999
lean_dojo/interaction/parse_goals.py,sha256=9tMrnPOlDaC6K0JELaAVVMeLQL1l2LSvhHRttcyS-ds,1772
lean_dojo-1.5.1.dist-info/METADATA,sha256=bm4BNzQEzWOnwRzNPwGJQet-23wAFJWOVbwHhLtIdZA,7829
lean_dojo-1.5.1.dist-info/WHEEL,sha256=9QBuHhg6FNW7lppboF2vKVbCGTVzsFykgRQjjlajrhA,87
lean_dojo-1.5.1.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-1.5.1.dist-info/RECORD,,
