lean_dojo/__init__.py,sha256=1c7RArm0nc-x1siR9bLEcnTvUIXO3kDMCqEYjgLmYAc,679
lean_dojo/constants.py,sha256=MxNT5SyBA1MxfvVS2TxPVu0kUL-yGZMAjQ89Am9IwFs,2820
lean_dojo/utils.py,sha256=pYK2fUdFolU2StweUcCfEeSO-cLZzRcEqgPEKqfpFJQ,9720
lean_dojo/data_extraction/ExtractData.lean,sha256=w72YjS4U4FuJ3O7o5VGyeNGROD7Tx0wU1NF1Swo41hA,17930
lean_dojo/data_extraction/ast.py,sha256=2K7ir5yuCjVzKiXknCCtr0G-8mXGC9jCl0RdsD-Gbtw,50546
lean_dojo/data_extraction/cache.py,sha256=w0QAszINyjenjt4YDKsfVtZKRXk405SC9kMCT4QDy0A,3110
lean_dojo/data_extraction/lean.py,sha256=ey4pBecz7GdL9wRTYIewrPsrpuS29D8RT9mOtR4aPUc,29792
lean_dojo/data_extraction/trace.py,sha256=6s4ntYLidTCRU5uo-IFQgONt2whfEjunjPFyFwUA1Sk,9681
lean_dojo/data_extraction/traced_data.py,sha256=I1Y5XxUxdcxqSjpIBxyIOFf3poRPLcpR9FWCtLG0HpI,44145
lean_dojo/interaction/Lean4Repl.lean,sha256=OBm3wR3NGUE5MpVmUtvNlpqgYGX6XsRd-jBOytFAaAI,11223
lean_dojo/interaction/dojo.py,sha256=ptqTVVWhxN41Z0TkTqTJx3vn-jN5TWv1oGs9dQ_pafU,17791
lean_dojo/interaction/parse_goals.py,sha256=nPCURVysCbrn4cPuKCFkx_A6vp3fF6Hh6gCOggzOjwI,1772
lean_dojo-4.20.0.dist-info/METADATA,sha256=ip1AHJ_jxnmZ1j3feczRdRvZzLdYHI_zbOuRUflRkvw,7941
lean_dojo-4.20.0.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
lean_dojo-4.20.0.dist-info/licenses/LICENSE,sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA,1070
lean_dojo-4.20.0.dist-info/RECORD,,
