lean_dojo/__init__.py,sha256=qmgH4J005ZGjQ5TX-exoJgOXShn-LHHzL0oMuwOttNM,737
lean_dojo/constants.py,sha256=JYx71Gg2pBWUCYqua-IFlMrr-Da3yUmyAaalHbf0oEQ,4064
lean_dojo/container.py,sha256=GabN5xMd4bD551OtPLpFi1YfBxSsatqYfPmAw9txChI,11409
lean_dojo/utils.py,sha256=hLbwmiVO6Imry5M_kPibpT4fOu1HYshpKENNb6ZLH6w,10352
lean_dojo/data_extraction/0001-Modify-Lean-for-proof-recording.patch,sha256=yAuH5CJp1HCq4NFPr7fS86OYeuws7PCGDMMfr3bZkIU,17589
lean_dojo/data_extraction/ExtractData.lean,sha256=3EYLDVvsw0yjxBOtpgDvgH1OmlXUqPwJ2mj7lP0tFws,17393
lean_dojo/data_extraction/build_lean3_repo.py,sha256=o5rZ-eNfNMZHiixvs2_ctz-jarMCnik23H7dXDZqaQU,5614
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=tbeCPHPGt9JpxrkOdDHDI4-UlyFx6KCw4bL8S3YjoU8,24816
lean_dojo/data_extraction/trace.py,sha256=UY7ds13u3z8Y6ZAPVP__d__kISWEZWCuOz9RLxy2H_s,7584
lean_dojo/data_extraction/traced_data.py,sha256=ObE4uP2LrLKZKGYMebw3n8SqR6mUN5ra96nogO_kDv4,57169
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=uUgKBhTEYIPttqL0Di5IcxImZio0qYjg5LCAS5SIIbg,47568
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=wWVQw2CIUbfvVqugCj7P08RAhGBTO2L2kEp0P7fhw64,1773
lean_dojo-1.6.0.dist-info/METADATA,sha256=ylcFDpj_buAET5v0viGL3MlxnOG1yQwSNNXK2bq-d_c,7829
lean_dojo-1.6.0.dist-info/WHEEL,sha256=9QBuHhg6FNW7lppboF2vKVbCGTVzsFykgRQjjlajrhA,87
lean_dojo-1.6.0.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-1.6.0.dist-info/RECORD,,
