natural2lean/__init__.py,sha256=sfH4BLOAv3hsLq98NgxkkELANwfGm2nfUzGDdWn0PrA,123
natural2lean/translator.py,sha256=ybO9ixwRpC2yEU5Mw3kyLZPPSE4Lrmv_p-hPl1UoeMA,10853
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=bD22ttY7JZ-LOU8htqBUfxOnF8kPvhzsUQungViXsFc,2800
natural2lean/lean_interaction/lean_feedback.py,sha256=TSU88IyGk_fgWAFlnelXMfP-D-cdTKTeKqQ9uloPJeg,8755
natural2lean/proof_elements/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
natural2lean/proof_elements/statement/__init__.py,sha256=1JxLg-xbAYy_NRrvwYaBbnthfoyQEPEakKmB-E_D3QQ,994
natural2lean/proof_elements/statement/have.py,sha256=_c_aPpeDn8Zc1w25tLo04PsEKF2soVAKihe3uazbo2M,6584
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/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=_SIjY2fKED26tRDkFzjaQShoskA7bOHGZqqknshIg-0,841
natural2lean/propositions/implication.py,sha256=YznTMd5g5ToFMDe2rFJm8A_rZGN7E_WfIzcDGA-dghM,1797
natural2lean/propositions/multiple_propositions.py,sha256=V6NAXQuNpaxqJZHsFXEE778h2L7B9MNMissW7T1XMyY,2787
natural2lean/propositions/proposition.py,sha256=Qh6NYu1Q4fK9geGVMnppSjYJaFQmQIWVRaF4i7QWHPc,90
natural2lean/propositions/proposition_constants.py,sha256=kSR0NnUl_tLdqqZR4-JRY1-au8eLhsfmgxC7OcXQpP8,2075
natural2lean/propositions/separate_propositions.py,sha256=8hjldJnpHEhDfU2bv5Ut9GxgsKOzHl1bCrCLsfgofGM,5990
natural2lean/propositions/such_that.py,sha256=gB7Uuv_nJMiTEnFxFLprbhGY5JhLyyWdd6Ukl_Sf72A,2499
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=Dd_XwlkXtVByHWkEEI29HfxQfPWG9YMtQm4VuswAU5k,560
natural2lean/utils/translatable.py,sha256=2NhVEZ5cyWorjIXF6ELyDtaj2u4MSc7retXV5dDI2ck,1089
natural2lean/utils/unfolding.py,sha256=h2nLzF-uQTkr8BeZRE8tPitALV57dcy7Y_WI4eosaks,1537
natural2lean-0.0.5.dist-info/LICENSE,sha256=Z4QYk4Tyele-qKEKsK3sxjCM8MqD21C_cIS71Y0LdzY,1078
natural2lean-0.0.5.dist-info/METADATA,sha256=QpTcREPaNcKdxhV8VpDgBkmosbpw6zUGYQDQUlAqPY4,7623
natural2lean-0.0.5.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
natural2lean-0.0.5.dist-info/top_level.txt,sha256=NE9d0penG5gBHLiCiQpwi4MMFMVjZ91XphFxk-NNhbk,13
natural2lean-0.0.5.dist-info/RECORD,,
