poussins/__init__.py,sha256=lXYnoR34y1jeS_1vyWivpig22tdEKfx05dPk8S383BQ,474
poussins/__main__.py,sha256=BM7qF5_h2WCxuyjjIIvzvs0teXiFQ-8df483guTE2Aw,90
poussins/ast/__init__.py,sha256=AwB_BJau96wSTbo-0qsg_Ti2lW7S39cUjPJrHH10Zu4,787
poussins/ast/expr.py,sha256=d2JFJ8dG6QNgDNy6QrC93gAdZ7XoiNKsud7qHIyVxSw,3018
poussins/ast/ops.py,sha256=YsPgKNeM3Nz9LOzNxTxN-WgYPYKfglkPO5cSxun1GVw,6653
poussins/ast/universe.py,sha256=ES7nD_nWOYBUrRiiXXA5FNJiTYq2YriPXB9Hg0tqq08,1232
poussins/cli/__init__.py,sha256=_nV5REUpRRSn1NQyRS4hWdrP_A0H--R9FJzfbTvCdiQ,242
poussins/cli/lean.py,sha256=YjX-3vo_mPToupni_jA4zoF88-cRjZ5mAz37uWVQFzc,528
poussins/cli/main.py,sha256=lyjtoF13jclagSHq-LWJswVaMLpVY-HlAkRhSfODd0w,1673
poussins/cli/prove.py,sha256=eHuExj3AsCkW_VrjaiDsAazHByzsP28WYZ_jWthukcc,832
poussins/cli/step.py,sha256=QqSOTUbk-DJ8XtWQEAp3FOBwWCqPo2NdGHO2uLL1TaE,366
poussins/environment/__init__.py,sha256=b-JKELJbvxgHfnyjO1pndxS96bcGXhUCOQF2e1ugLwY,509
poussins/environment/declaration.py,sha256=obTHxJzfZdyYKxcVmG7e8HWy8WOAxMpWy852_pmsLBY,1652
poussins/environment/environment.py,sha256=UhDFe8lmf2uEepeSDn6uTBum6SEaib7z_bCO_2tuZQM,2787
poussins/environment/library/__init__.py,sha256=3N5Wy7V8aSmJSmOM8bDRLYU7kXi_1qNuF87VgvStd7E,290
poussins/environment/library/bool.py,sha256=lb95he55mH4Eht3eYWg34GZZfp7C5WPlZzL1VBuadqM,2173
poussins/environment/library/equality.py,sha256=PsgtWWYXBsxKC2fehvbSlHTuhrlghc-cdBZsb-sO3Jc,2241
poussins/environment/library/logic.py,sha256=3eqGaspLWp1fwh3J6wiowUi1CQ6GbYlFViIjtg9h0RI,6216
poussins/environment/library/nat.py,sha256=x9U_z9vjZTAsjjp-AspPXytC5wpB_wj-ewsn_4G8cWE,2408
poussins/environment/library/sort.py,sha256=VBWiNyKrtHwiLXAjjbEL9MroOyl9_1mkuTaYRYpr2d8,286
poussins/errors/__init__.py,sha256=gJ4ga0bxi9upWce9dd3jr4AMUvGrjwFm9nIdnAWmPYg,378
poussins/errors/framework_error.py,sha256=sm91pcWk3bSVxatVVJWVuYhcFnUU0gQiI-TmzyyPQr4,189
poussins/errors/kernel_error.py,sha256=xgeyahyVjOddCQPqVLyN3BOX2d617-gRiGqNV1lpzWU,452
poussins/errors/proof_error.py,sha256=VhXIqiRgOBO-FgOKGi4_zGyLNTwbYX1c3Ha90V6eLhA,152
poussins/errors/tactic_error.py,sha256=fCGrRRYsM7xWXBQPQcGfzwI4Xa_p4LlBisp-54AFlCc,167
poussins/framework/__init__.py,sha256=nbKIAkdZOGA0EK9UclHdT9bL4H6yy_TG76kKZUlxGVk,597
poussins/framework/axiom.py,sha256=ktKbxjo22kD697uCwjrUkcnCABrchoPg7J4Xh9kR988,1348
poussins/framework/bool.py,sha256=M2EbO3pVbZji56-QX7OnDriXzBFvOteFaAxuKBhgqA8,992
poussins/framework/inductive_type.py,sha256=jDmTucoqdcd_V_Mr8XFER1iKnIUuqGrXRMJsK1pQUkM,1889
poussins/framework/nat.py,sha256=lHHMXTjuyiNR2wc_I2xToHaofyDZ8qK_JXlsVcC5vV8,1376
poussins/framework/proof_script.py,sha256=hdE_GcgADshDDWGRrnXCaIIgRgBdzGPVJl-trftiBf4,6677
poussins/framework/prop.py,sha256=VyvlIx3bmNFDnSJRvkBSOFfbnhsBhogZxFKJQhnlYQ4,9008
poussins/framework/theorem.py,sha256=CMBm-DsqGbQq6uamMSYyD0rVfEAv0xeTTYqW7XxsEFE,3583
poussins/kernel/__init__.py,sha256=f_sWuJozwmJtgcLkC3ZDVPNQQBoxB1RTOGqIvf0qJqA,679
poussins/kernel/equality.py,sha256=Ar6nFGZKda5b3xfVZFUDRq8Qnrm_Vei5Ohwkd_L5C-w,4709
poussins/kernel/eval.py,sha256=GfTwd7t9BGN3kP4UMshWmUmWJgZjSyVlYg_z7Mj-ARs,1979
poussins/kernel/goal.py,sha256=bVAPXMEWM81FOMv6gw8CyIIIdjHO79pWSlhenGMBGEo,2782
poussins/kernel/proof_engine.py,sha256=d_JqLkGAfaiTIlTD4KOw-96GbJoKOu_1DB98ajzOZcg,6977
poussins/kernel/proof_manager.py,sha256=0cJLOG5CsztvnOkOvHvRAhOra4XlCAqWQvzhPlNhsxA,3239
poussins/kernel/proof_session.py,sha256=CacHvEZGiSXGjrckvs4BXjgHoH6IgKob2Iq4L-Y2v1U,1617
poussins/kernel/proof_state.py,sha256=HkihB3VInndXg0eBxhvswRcC7M5pNIkzgbyyCbber50,1124
poussins/kernel/typecheck.py,sha256=VsjpCVa5-a9dgD28sRHQWLbbySiwb0lKNcm4M2b6GLs,5693
poussins/kernel/unification.py,sha256=pH_JhqoyVE9jjlVrTPqZlkkJLvKzqiL477_YCxwuscc,4238
poussins/kernel/univ.py,sha256=ILI9_MC-TnTwtQvWzhZDNfo-9JN9UJczKdnvB9_YjI4,4269
poussins/tactics/__init__.py,sha256=9uEMLpKJK9F-onlsaDMA0hxii8F80fRK16XLKU2vw50,706
poussins/tactics/apply.py,sha256=9E2LsC790AbgvJdMM6z7r424OoPjoyPYG1gVL_l6uOw,1758
poussins/tactics/cases.py,sha256=FL3YGcFzeAlNdCX0c0_CrJQwJI5hhZeUNYY7JNHDHlY,8713
poussins/tactics/change.py,sha256=P3h3M8qRFh4eWafxJTkvFgUXjNFxKA_m1-Shn3Y-4ww,871
poussins/tactics/constructor.py,sha256=mRU-WsqGKWn4D4Dra1x3R-lff_vAkhSYD5JJ7LO8hvY,6697
poussins/tactics/exact.py,sha256=XVD6zUrrZtLJz0GAoNqSXJ7brKYCZZxgHLO_FrvjAso,1214
poussins/tactics/induction.py,sha256=19Babb_957nlop0Qds01z3UKUO7SIwzVbvAmLg-Wf8w,5140
poussins/tactics/intro.py,sha256=YTE6F7iw_UxNGRb3nT1nBo6Q-OsFRTgS7DsD3ZE04kI,1865
poussins/tactics/logic.py,sha256=kAeuxf149voF8WL9MQUql__eryZ8q23LbFlS0jTm-ig,1565
poussins/tactics/refine.py,sha256=riXPoexjT-CrprZJNUuFk7xQvDQGAQvuHJkY-FrHjRc,1812
poussins/tactics/reflexivity.py,sha256=Q-J20NucIQIyw4pGvNIEouuKMVnWz2H_Rmk-51CxhGk,1761
poussins/tactics/revert.py,sha256=f153kXuLW8UlixSZfu6n7_oITZijXTTzmuzAMpYasTE,1778
poussins/tactics/rewrite.py,sha256=UTvv-kqx9B4Lp_l1yeHA0qKIC9-uYwNcvmNHAIq0GsM,5110
poussins/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
poussins/utils/logging.py,sha256=W6AgmVs0HvaGBOgKbxybWQ_3ft2yttgrRq_VECA6uLE,853
poussins-0.0.7.dist-info/WHEEL,sha256=q9Wah2_CgP24mRNSlTyb0F8Yrbz55SzVl8eHLkZ_wvE,80
poussins-0.0.7.dist-info/METADATA,sha256=BU9g0n4OgNnL1QicOC9hkgxNa63dSX7MRPc7lfFcZhA,554
poussins-0.0.7.dist-info/RECORD,,
