natural2lean/__init__.py,sha256=sfH4BLOAv3hsLq98NgxkkELANwfGm2nfUzGDdWn0PrA,123
natural2lean/translator.py,sha256=0nuCl396duvz5Y-lVDdxPAFf33iL79GlMlhVRe40m-E,10867
natural2lean/algebra/__init__.py,sha256=nLEWWMmAPbFDLvlfPMvN41jgL7MlHeaiPs2G4N1czRk,892
natural2lean/algebra/algebra.py,sha256=P8pH78QrktpHedWUrbITkUT91xJFu4SV44WH4plOxws,1061
natural2lean/algebra/equation.py,sha256=BBgtkJnVkXVzWjyjGTgq-qB4h7gwLHic8Gx_m36pDM4,2425
natural2lean/algebra/expression.py,sha256=-yKtsLw3D-UywBxy5-2T0op-M8vqwLL3dmN0W_MJPcQ,752
natural2lean/algebra/expression_possibilities.py,sha256=-IVzRJLst1edOKVpbpgYD8psleEHrRVIxslSUDY96LA,1927
natural2lean/algebra/identifiers.py,sha256=lngA95d7Hga8v98L_1z8O5V_o0D2MmO-tJCZSGMxgPI,2269
natural2lean/algebra/translate_math.py,sha256=0EbYLBtWdeiRZ8Urk29e0L99Vlzlez_XCg36NB3R9L4,6321
natural2lean/algebra/translation_constants.py,sha256=eBxa6_crM-t9hnnsMCTd6HhX_1c975y7soq7jB6dgIA,4138
natural2lean/lean_interaction/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
natural2lean/lean_interaction/conclude_proof.py,sha256=-tAl0y-QU45Rx5U5bGNfL-HXjnNtYKMFVObBSGQOaw8,2812
natural2lean/lean_interaction/lean_feedback.py,sha256=fZdY57cLHFYUQSxmdMbo6pH735regogWio0NFmshrgI,8738
natural2lean/proof_elements/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
natural2lean/proof_elements/statement/__init__.py,sha256=d2So33q3znRRlXqprR0xFLyQUgxCr-TICckwwzfTItM,979
natural2lean/proof_elements/statement/have.py,sha256=Kuc9o55wB-toL1cz-nNVo21qbSsWYYzQXMkP569lRM8,6580
natural2lean/proof_elements/statement/induction.py,sha256=yChvWPxwdX5alLOJyeBG_x9FSUMgdB5zZLE21yWXepU,1756
natural2lean/proof_elements/statement/induction_case.py,sha256=ssdGKtxAnvmftmeawJby_1oquvz1U2u7jOAXZ1_G6xg,3329
natural2lean/proof_elements/statement/proof_structure.py,sha256=fe4bcHZ59JwIujeyLUSNrYvqz9Ng8rkvArUSI8tNB-Q,3491
natural2lean/proof_elements/statement/simple_statements.py,sha256=e6Nal7WrcWQiGoWai4kq-u9EzUhwDV-lWB0_wmBUSH0,1663
natural2lean/proof_elements/statement/statement.py,sha256=B5htQ-M2alIXn6TiOmV_KYa8rG4LMcnbHNhCz172-V4,89
natural2lean/proof_elements/statement/such_that.py,sha256=0a4SsiCubAA5hQzHLqVk_OQo7ulc33W50Ck5JSLrlUc,2510
natural2lean/proof_elements/theorem/__init__.py,sha256=iUsI48zWL_f0cGUtSvD-xmrVia0ztg3fjX1nmsbzNcg,559
natural2lean/proof_elements/theorem/example.py,sha256=9AXF2r_qpUCP0AOMf5iSJb9_K39JUTnCA-6AaqtgJSQ,1269
natural2lean/proof_elements/theorem/named_theorem.py,sha256=T4xsb4lsivDgGjT2KnnNRMcKBZp8sWy1MHT-_udQGsk,1811
natural2lean/proof_elements/theorem/theorem.py,sha256=kqq0Z1-JGeTOnWCMttZODUCFAQBxLsMTG05wxBbTonc,1729
natural2lean/propositions/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
natural2lean/propositions/function.py,sha256=ilgMjgOugWQQztjHk99S2LbzHXKs81hj3kSCtrHLlVk,805
natural2lean/propositions/implication.py,sha256=A7vp-okQuYX_EeuS5gv2kPOAIs1o8_kX3w17fuft260,1807
natural2lean/propositions/multiple_propositions.py,sha256=U6cn445j4mr9AQgEPWjjSs-7AfAaMueKB0-KZB6IFlQ,2817
natural2lean/propositions/proposition_constants.py,sha256=kSR0NnUl_tLdqqZR4-JRY1-au8eLhsfmgxC7OcXQpP8,2075
natural2lean/propositions/separate_propositions.py,sha256=_igqpwPd8PIvz5cCjno2SEjJp47iqXp8xeH5iKzvLO4,6002
natural2lean/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
natural2lean/utils/exceptions.py,sha256=UU4KnK0DTXBR6xJ_iNeOKlB6ylHu4ExDCMqBaBUMBKw,445
natural2lean/utils/git_management.py,sha256=TostZOKI2HePSENrHv3cKV4e2-959UWCvdM7EP8d-EQ,1326
natural2lean/utils/text.py,sha256=G3HdAFuuQss-icACN5J9PP8iA1x-vITlxhKuMdkmUXg,608
natural2lean/utils/translatable.py,sha256=2NhVEZ5cyWorjIXF6ELyDtaj2u4MSc7retXV5dDI2ck,1089
natural2lean/utils/unfolding.py,sha256=h2nLzF-uQTkr8BeZRE8tPitALV57dcy7Y_WI4eosaks,1537
natural2lean-0.0.3.dist-info/LICENSE,sha256=Z4QYk4Tyele-qKEKsK3sxjCM8MqD21C_cIS71Y0LdzY,1078
natural2lean-0.0.3.dist-info/METADATA,sha256=xkAApajReY3Ldvcbcd903D71nx9OBTe-ith6q0QiYxQ,7623
natural2lean-0.0.3.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
natural2lean-0.0.3.dist-info/top_level.txt,sha256=NE9d0penG5gBHLiCiQpwi4MMFMVjZ91XphFxk-NNhbk,13
natural2lean-0.0.3.dist-info/RECORD,,
