lean_repl_py/__init__.py,sha256=o8wHBOGnykzwb6OZM5J66tnfatllyULc43rIcUjYPvc,400
lean_repl_py/async_handler.py,sha256=EH4zYMy9rB6QGcGE_87dGN5WDYs9LyQTSxC1H4qFlno,8400
lean_repl_py/handler.py,sha256=n6LeuEuSPdveS6INAeUQS9FZmV7UtC8yehYrxvkprFY,7828
repl/.git,sha256=dXesNNitjtuk5md17Gvi0lO9KuQaPO9Eu2NI9xBaoxk,29
repl/.github/workflows/ci.yml,sha256=E37MjrvdwJowcIdjldlE8aZk0gY6CuJxs2a3Dv0k29Q,522
repl/.gitignore,sha256=cv1sOovuzoTbIi37rcbGUcNbg7111QqifetqVlZbWew,99
repl/.vscode/copyright.code-snippets,sha256=Yxvq5EWxIBkQzq93t7Iwyu9L9c08LHz_AZE1CUMLWWE,273
repl/.vscode/extensions.json,sha256=kQeb1JmqB4cCDbyakYNnXDfMuQmUJgMiBBmGQj_sZ8M,485
repl/.vscode/module-docstring.code-snippets,sha256=3bRL7E2bsmcq5SkkNy_oMWFakjqq4BjE28l9meCQ4gM,536
repl/.vscode/settings.json,sha256=OlcKRIcoVQKN361xK3iffrfdtuos4Kyxo98R2xxrEIo,301
repl/README.md,sha256=1ZAz0MNWesOWWIN4NS57chz-izFfkcAjNcGwwgtY9Mk,5021
repl/REPL/Frontend.lean,sha256=Xy1651DTTOp2Y6fuqJEsV7Qx98AN4Vjcopt7mW1try0,1904
repl/REPL/JSON.lean,sha256=0huyEftjMNpUDmrtjnjXRWV0_8CfNhpM7fxhaJvHiRo,4928
repl/REPL/Lean/ContextInfo.lean,sha256=frgYburPj69mkNzZY2riBUc0Pdx7NoPssxPhbtZD184,306
repl/REPL/Lean/Environment.lean,sha256=SsUhaKUxQpAGJodDc2Bn7FmLWBqtaa05ocb3MjHhq9A,913
repl/REPL/Lean/InfoTree/ToJson.lean,sha256=GyZtO-3quowiayeDtwDkXZPGtLi0QsV37MOSzUk-mso,3722
repl/REPL/Lean/InfoTree.lean,sha256=F3JP2yM2gLyATK3kKKN209QOWylUxzhFjx1udPUqpto,10830
repl/REPL/Main.lean,sha256=BXhO3DjUS86BIVIn6wUr_x2zIWtv6UQZ2wXIM200I0k,12588
repl/REPL/Snapshots.lean,sha256=aH7gQbotL-MM__LjJLEwYNQ4depUtNE-Jq7ChOupVQM,11913
repl/REPL/Util/Path.lean,sha256=TvKRqMG3Y-HuV1DUbc1rxvm-WonGqfe1d4FK1hGTsWE,1216
repl/REPL/Util/Pickle.lean,sha256=fUulkI1e46F6qda7emBjUpt8bBeaWqkHQ7oG59Tu-VU,1578
repl/REPL.lean,sha256=uEPB67EZJSLzpkrKSzIWjdvTZbMKGRRTilO6AQql2VQ,81
repl/lake-manifest.json,sha256=dPMokVDfCv_EtT64kR482hqGVUdS4PMfsg6NDFHHYy8,110
repl/lakefile.toml,sha256=MS8tHhgM-bokmAAfKmmNFIPzstWm8oioJ0RZL2acG4M,141
repl/lean-toolchain,sha256=r_OidvzR2qbzEeB7rxaNXAyJo92tTNTo3j4ux3lQTkY,25
repl/test/Mathlib/.gitignore,sha256=4zIzbyKXApFqgDE8l3uo9OGKfRvuYvP2AN3HXjiH0Y0,72
repl/test/Mathlib/H20231110.sh,sha256=fh1WzHusunE0Hyz8jSjDZiVe2rniYx9sH79tXETu5NA,120
repl/test/Mathlib/ReplMathlibTests.lean,sha256=EBX49GdqJ-pjeAswzJFnEiMoVwl7K99jXcYcuUnBB_s,15
repl/test/Mathlib/lake-manifest.json,sha256=oLNll5mNB-_5D50VhC8DdkrVZqPDKBNq8m651o4D0Qo,3128
repl/test/Mathlib/lakefile.toml,sha256=wtKCnmHlTVC5-sfttAqc3U5G6V6rS64gAXO4Cpq4SoM,239
repl/test/Mathlib/lean-toolchain,sha256=r_OidvzR2qbzEeB7rxaNXAyJo92tTNTo3j4ux3lQTkY,25
repl/test/Mathlib/test/20240209.expected.out,sha256=duUyxQQU0mKuZbi55gVssljhxBD_RI6MtEFF8jeZiFQ,489
repl/test/Mathlib/test/20240209.in,sha256=yt76LmeaXAXIrg7X-6DcO1fqWavnp7X8ZmG4kHTk79U,102
repl/test/Mathlib/test/20240209.lean,sha256=z6BqnOJfmkKbTBYbd_f9Z_pTDu6dWH-ixKuPe1GAU_4,55
repl/test/Mathlib/test/H20231020.expected.out,sha256=JIj77iGXLnP5vlSmtO6tYkCkXxWzK6T7lU5EUTJiMfg,48
repl/test/Mathlib/test/H20231020.in,sha256=aX2wbOR9YGiIEAqTVV2Ihm0S9O3lciNsV2DeWP-AbHg,877
repl/test/Mathlib/test/H20231020.lean,sha256=GwzYD5a-x-vmWwtOdqbzfJ-jvOkKiCe032xARX-Lbz4,789
repl/test/Mathlib/test/H20231110.expected.out,sha256=WBzCu9vpOqnS7W5jF28xKjO9uqco3UDVVP2xwe7yR2I,24
repl/test/Mathlib/test/H20231110.in,sha256=kX42DYKDWmNqyqOrEY2TmTH_2yL6nwo8q_f3mUPFzHc,368
repl/test/Mathlib/test/H20231115.expected.out,sha256=DcKz5w1C3tN6LSGUvnUDNFrEslufNLcxJOVoByF0JQ0,450
repl/test/Mathlib/test/H20231115.in,sha256=WaZP0FoHV_nzJxZg1xbMs0dKkzFewsnF5DORiauPLWs,158
repl/test/Mathlib/test/H20231115_2.expected.out,sha256=CrzV7eoObxiUxGvv5WM-QDICbIj8mcWB8PLOquDBlYQ,499
repl/test/Mathlib/test/H20231115_2.in,sha256=blx8N5WjBV7MyqMWfcSXBg8ZQSNyK7cP7pU0KSpv9Sk,143
repl/test/Mathlib/test/H20231115_3.expected.out,sha256=-qSw4lXZjWekf-c4AKItYU2BS_axFKAgJTpLxKA7fLc,259
repl/test/Mathlib/test/H20231115_3.in,sha256=yU-v5Yu98IpdUHM0l4_ajFLeRgUgZWT8xzSSqsO3y48,124
repl/test/Mathlib/test/H20231214.in,sha256=_Z7sLyE0LUQeik5rfAedOh10nu7Ix4OWB-rA3ueWKYU,481
repl/test/Mathlib/test/H20231214.lean,sha256=VuUOy1Y1ur4wUTZETpxHvhbNg7Ao6XqPupSwiczKMFM,826
repl/test/Mathlib/test/H20231215.expected.out,sha256=XHGkNeBBF2tUJw0NjzSpPttSF5vUbV9qaiSkXZbQbMg,24
repl/test/Mathlib/test/H20231215.in,sha256=DYRxEbbUoaOO3db_ww4nbVPOGZnxVPL46C1WHliJuAc,115
repl/test/Mathlib/test/H20231215_2.expected.out,sha256=n3oL4RcF2VVUdQkE3W_lKJgBvQ18xxE3Ii-h4zfEaL4,321
repl/test/Mathlib/test/H20231215_2.in,sha256=RwOEhr1JU5dRxrp-rpLj3myUIfl9325cJkJ0sgfNqEQ,126
repl/test/Mathlib/test/exact.expected.out,sha256=S5C52DTyuOh2uFTf3O57UL476_vOjgzhj0swVSUUntc,912
repl/test/Mathlib/test/exact.in,sha256=zHiyj00tsIuwMmQRfew1Uu3Cr5cR80eue_QMsD_eZgY,215
repl/test/Mathlib/test/import_Mathlib.lean,sha256=EBX49GdqJ-pjeAswzJFnEiMoVwl7K99jXcYcuUnBB_s,15
repl/test/Mathlib/test/induction.expected.out,sha256=6rwMbxdSvrCnhfMFlkiqCW6csP5h9HpGIj1ieOfl68s,734
repl/test/Mathlib/test/induction.in,sha256=essP7h1h-eVmRYCwDf4tX2PteQwTpJx6BvtAwGRc6ko,268
repl/test/Mathlib/test/induction.lean,sha256=J-_5QnoGVoWvGk_MZsQiQqiqIUPMWI1LOaXk5jiD1zw,112
repl/test/Mathlib/test/on_goal.expected.out,sha256=_Km-07VKKaePw6o3DZyX8i79ONksf49kisTFQZm9DBg,716
repl/test/Mathlib/test/on_goal.in,sha256=aeYwHa_1bhrElSMkS0P8EV9kU2tc_I-g14O2mc0wj2Y,259
repl/test/Mathlib/test/pickle.expected.out,sha256=oHksgBR50YjVF7EcXe5fKdyKtXmqbEFxCRJho2hzSec,444
repl/test/Mathlib/test/pickle.in,sha256=sNiZED6ATOmn0p8VZq6pO1czKV1OcigCsR9pmj2fldU,241
repl/test/Mathlib/test/pickle_2.expected.out,sha256=J7cLLgBnwAhW80rgrMgsDSKOHe1zd4Zl2HxFgfb9_so,172
repl/test/Mathlib/test/pickle_2.in,sha256=I67KImQsl4UskMK3vU7Tl_5BL8jVIHtoqW9Zl0gjVkg,95
repl/test/Mathlib/test.sh,sha256=GgbOi24KeSbJ3fbw8sE_MHotQ8GGCZ_d6esdO4RTLOc,1051
repl/test/all_tactics.expected.out,sha256=LUnPPQwAViJ72DHhU40-cwBcsskwbzynpSuG_pC1xYY,423
repl/test/all_tactics.in,sha256=ij6NPBNKHY-xNy6Nr-xv5aPVMLORpO7U63k6Zsgh3kY,71
repl/test/by_cases.expected.out,sha256=w7ZhZB_hUCN6rXCjETN9wpT8U5GMPsCnFFjGYt_hDOk,701
repl/test/by_cases.in,sha256=qScl0aS0yBDKxpOD9WhBt5PWW9AQz3d6LQgSLgyOJyE,204
repl/test/by_cases.lean,sha256=3g-tTWDLYZFmoaTdiYhNam1BajLUcSp_0ptMzGuDnhw,85
repl/test/calc.expected.out,sha256=po2ay3CO5OnPEdvYDq9vCU1RPy4vkAaeort_3ZWfUNU,1457
repl/test/calc.in,sha256=xQDQTyYYybHeiWNyIsML8acWHA53fzxnSxgTgo4dOr4,101
repl/test/def_eval.expected.out,sha256=oT6oYHCQJWQJrSIDjFJehXl6aYrvW4F3I2cN5438Wl0,163
repl/test/def_eval.in,sha256=zBBJKJ7p1yKF0SHNIJ8MROW3XN5NNCVpTnO4K8pQZqc,67
repl/test/dup_msg.expected.out,sha256=VbI6-LQV23eMpUaTVw3lcQNBt1YhDzNvq-R_IRSCLbk,322
repl/test/dup_msg.in,sha256=L4hJbuydhf4BEe6i8oqDatD_f0WbnQ4yZKDcJrtnYmk,84
repl/test/dup_sorries.expected.out,sha256=Uxr31SbMowG_oo6I1kMAujGxCgl0dtXRcIU5PUnJfgM,606
repl/test/dup_sorries.in,sha256=HHfFCl9ig_Q8IUSsW1EC5UgTxKUZip_TsoeQKW7i0Vk,93
repl/test/enableInitializersExecution.expected.out,sha256=bZwUHIcXc9ENfG9oPBGKB_fDYtIfDi8jmd5durqJylo,12
repl/test/enableInitializersExecution.in,sha256=3zz_FKPqbs6TnGeePTvJjEFjqwYV6NHHZhp7vnssfL0,50
repl/test/file.expected.out,sha256=k5B3RQs15iRkeMqgOtqidJWpVXLklnfknd8sKtmOn64,267
repl/test/file.in,sha256=yED0oLwIcU0HC4Hw8mqc60dzfEg4PYZVYMPiUan9DzA,47
repl/test/file.lean,sha256=8z-cjiSdD0PTJm0tfJr_UDAxYmtWL7ii5HvVesxi5ns,70
repl/test/have_by_sorry.expected.out,sha256=iPHd-KtHbS0AgjRAOaN9IQZtSwv1lJRNpsoAAGnNFVA,771
repl/test/have_by_sorry.in,sha256=-HiIFL0u6XDrSyJJxEeGhUPNn6wjFtLzP5LHs26Uf1c,192
repl/test/import_lean.in,sha256=ZXglsGn75acpOMahmlp8vXDxpxE9NN2h48QDgWO4_E8,24
repl/test/incomplete.expected.out,sha256=eBveOkX-BVEZwrP3bpdfFYcyTRSRnwwdMbmojZU1ZLE,548
repl/test/incomplete.in,sha256=TtnbkU0mLJjGKR4rImSQ3O5UysYX5ZnpUL9iPNQmjYY,121
repl/test/incomplete.lean,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
repl/test/infotree.expected.out,sha256=xTrYwGklVo6_WOWbWZgZi_Bngu9F5vQyta_c9vQsWjI,591
repl/test/infotree.in,sha256=Vq9yzvspj1BaaINvusb4253-cPuEuejJTvYj5xIHPyQ,79
repl/test/invalid_tactic.expected.out,sha256=l4_Ryzqdk8lPizoTpBf5zdO29EsT2Tmk50CR-6A6IeA,510
repl/test/invalid_tactic.in,sha256=SgRVAir5kn0PAA-w4g-BnwW4EZS0RvUaVFr_wpWWm8k,114
repl/test/name_generator.expected.out,sha256=i_ejndZrvEfhLKj_Nsz1xRVt4KW4oJeP4TZH_DJfNGk,1397
repl/test/name_generator.in,sha256=YuUWWUP6SJwGFHSvNWjhfQbJYC5TbmRUx0Djn3f1kc0,578
repl/test/no_goal_sorry.expected.out,sha256=3BfTJgvZVzGoQFx-vOvFShJtAHWJMM8oqbVvbC8Jftk,363
repl/test/no_goal_sorry.in,sha256=5gYCNhM5TNv3WtZHEDOxa7VM77qvV83sP7_A4C82M2k,74
repl/test/no_goal_sorry_2.expected.out,sha256=hC1mEHqu-g3iRu4axr81C0bTikzQUYo1pwGN_NoaYZA,294
repl/test/no_goal_sorry_2.in,sha256=kNd6HfBzaND5A_t-t3PbP2OkrF99zFhZp-Meq-dte1I,51
repl/test/options.expected.out,sha256=y0AmQf4fo8w43VZNm87Ru1cTohHmBu0Y-e3FLzCY7JI,447
repl/test/options.in,sha256=TG933yqDYvWpVYsald0e3Gw3VSUxcD0dOaVw3IhXB0E,109
repl/test/pickle_environment.expected.out,sha256=KIVudHv9tQZamopmL5nhGFH6h4FT0Q2FpZMDMLOcU3c,48
repl/test/pickle_environment.in,sha256=zUeWr2B-oSBh_Zl6H5lWu4VM005DywgXBT8uIvcUrkg,149
repl/test/pickle_environment_with_imports.expected.out,sha256=EBWr72rVwKogxQO27B-Nl8gTi2RztBDMnFdXKMMjKPs,60
repl/test/pickle_environment_with_imports.in,sha256=2EN-dZV6PaezCXFmWcaomBHY-slQcCOp71KOJ0Lx1p4,183
repl/test/pickle_open.expected.out,sha256=sJdocb6RIMh-hJUFYbkURcr_I-wVnOLpg9ppc3KagMg,48
repl/test/pickle_open.in,sha256=PzwITCprt1c9jvLEpwNb4tvwZhrTUwnEvEsZkry788s,146
repl/test/pickle_open_2.expected.out,sha256=WBzCu9vpOqnS7W5jF28xKjO9uqco3UDVVP2xwe7yR2I,24
repl/test/pickle_open_2.in,sha256=62Lf_-xn1WExDvcp-7RrIzvhQob_XRZKU6OEg86H3Zo,82
repl/test/pickle_open_scoped.expected.out,sha256=IbmOGA0dWiBABpWDuvu2OeNPmdhNnGBDwUHJJvFpNY4,337
repl/test/pickle_open_scoped.in,sha256=OfgHwDAfTCyu9JhCNga-VaQd5ItuQTD7R_fA4TPZK2U,157
repl/test/pickle_open_scoped_2.expected.out,sha256=N2VNAji2c8suABekaHdEkyEWceyWkpHWd_rmlNS0aRo,313
repl/test/pickle_open_scoped_2.in,sha256=Ph-zGJuX32H5GtRkFjF3F6nZqs01mf_1mqeGYRd0yo8,88
repl/test/pickle_proof_state_1.expected.out,sha256=lKYKFNjnNxyqkFe5aR9QIZ2OfJshmqtbQAktBohj5j4,576
repl/test/pickle_proof_state_1.in,sha256=01W4ymneqt_s5EZSllOgrLgIsR0Sk9k1QfYULl5dR08,344
repl/test/pickle_proof_state_2.expected.out,sha256=N4p4KZTeJhjv7vuRIzRI_Uzcd6mkwV_8NdF_lWtaJzQ,82
repl/test/pickle_proof_state_2.in,sha256=v8CKqf83luvHG0wfB5IlUXpkbaRJnkdHv_XO_scuDgk,83
repl/test/pickle_proof_state_env.expected.out,sha256=lKYKFNjnNxyqkFe5aR9QIZ2OfJshmqtbQAktBohj5j4,576
repl/test/pickle_proof_state_env.in,sha256=XdLjfFpAyLHTgF-tKQ92OF7nNnexxDao8vFZ77jdPUA,364
repl/test/pickle_scoped_notation.in,sha256=zJJMgI3B20vvB31kj8h2YB3-KUqvHG-agAdm08-OMWU,310
repl/test/pickle_scoped_notation_2.in,sha256=t8n30u5D2t_WS7dzUEGCuhVT5JSllBoP9E1TXIiS7_U,84
repl/test/proof_step.expected.out,sha256=Hua-5a49E4DMM7ID9zof12h129K7ocSIIExlTNUczaA,423
repl/test/proof_step.in,sha256=M3zfMaxksPqriZ0eIwH7He7jd--4o5kDgutocrIA6vo,176
repl/test/readme.expected.out,sha256=zamQN_JETRPopERZLkY_Q4bw_KrzdDVRUuPiI93CTAk,393
repl/test/readme.in,sha256=X7ZeO2dgJYzVWI3pUQZ9BHq1nOr8SEjcbhfNX2PEBSY,138
repl/test/sorry_hypotheses.expected.out,sha256=n_IwDSe5bfrNa6GToNtlo7H-ENgU9smtuZbs0Z1tCAc,439
repl/test/sorry_hypotheses.in,sha256=hPXGN4jyrYkQdS597uF-fQVzjla_pOjOA9FQf5D72FQ,111
repl/test/synthesize_placeholder.expected.out,sha256=lEGc5EfvyPV6gWoaT2Rrt7MFYqf6o3EYL4iLdQplvXs,202
repl/test/synthesize_placeholder.in,sha256=qapdR7L57dVDK5xGF9p4nOo4N6MY2s6Qc7LWh2wySdk,28
repl/test/tactic_mode_sorry.expected.out,sha256=6Owwt9yW6b-I_tGsf5i2KgEZYh6bYzSlHN27XE5PNxE,383
repl/test/tactic_mode_sorry.in,sha256=OnbTqShdFsb3J7bKHoQwCMBeV3-Cv99YXy8wSL3AWcA,73
repl/test/tactic_sorry.expected.out,sha256=wExThghHHP1cCMEr4F-zEdMkb5hMc4qsUTD7g6m6mqw,300
repl/test/tactic_sorry.in,sha256=aaqWiqqumms7UaTtTjwSeLt0RCRIfI4i7ANtK-8CZ9U,35
repl/test/term_sorry.expected.out,sha256=JD2Rd9UFO6zf9_KNUf_Csl0pyoPFwYGPxtrH6JyPXNo,300
repl/test/term_sorry.in,sha256=eEiaAWb96dPeGEFRm0xKsKLeQWT0Spr3jiLWkxjjJVg,32
repl/test/trace_simp.expected.out,sha256=F8w97tITg9549iL3QjWM3iUpis9X6zJM7B1OM64n_I4,954
repl/test/trace_simp.in,sha256=S9zg4CV90HBWaGMxehSndDdIT7wANYfSxFrkVCfyhWQ,389
repl/test/unfinished_tactic_block.expected.out,sha256=04F4tAw7KyUgjcD40GJZUKttiMJkfncAIX9fMbk-NJE,299
repl/test/unfinished_tactic_block.in,sha256=Z-lSdemNLocjNk5Zsbx7bo-tOtVMENpCnerwhGfH3sI,29
repl/test/unknown_environment.expected.out,sha256=ruH7s89H_HUXtOr0g6uJw_xIof2Ll5RDakXAPWfaPoE,37
repl/test/unknown_environment.in,sha256=XX8PjA9vdd27DXYnMYYXeYJBx_Gc05qTL1l7MlXZjQA,45
repl/test/unknown_proof_state.expected.out,sha256=jk7-V4PE2mkTlrxx9Qo45zJQ4alHy6voYfP4kDrBmL4,337
repl/test/unknown_proof_state.in,sha256=SPwS6pWa_t5yPM1195zaExPwDaGkwj4CyHc490hQBWs,77
repl/test/unknown_tactic.expected.out,sha256=xFE3uJ6oSOZg4ifSOiHJIwfhym7swNMonLpVVKFrqFQ,357
repl/test/unknown_tactic.in,sha256=HY1oE_7an4Xey8Bym2gB8lfdcnCw2j-hKpdHQxQ7tqU,76
repl/test/variables.expected.out,sha256=zmB9YOCtKCOD3jennIQtEF9_kDdyZvElANi8vLVZFtY,673
repl/test/variables.in,sha256=2Mp3QDtTvUppQVUxZz3tnUKnVf5YK-XgL5fnhl9EZqA,237
repl/test.sh,sha256=BklzRilsbjj2IjHaZInVPzDYQZpcqI_5II6q4nDUzBw,1160
lean_repl_py-0.1.13.dist-info/LICENSE,sha256=K6wrCk3e22xErG-3oyKpWV2WRUPRUXvyQpy5m_U6Hs8,1062
lean_repl_py-0.1.13.dist-info/METADATA,sha256=_QCNq-VARu4Uyl1wrgSrlS5AltHbIB5NDB3qKqW6ij4,3048
lean_repl_py-0.1.13.dist-info/WHEEL,sha256=Nq82e9rUAnEjt98J6MlVmMCZb-t9cYE2Ir1kpBmnWfs,88
lean_repl_py-0.1.13.dist-info/RECORD,,
