poussins/__init__.py,sha256=umxxC4qCnQkYTtpF9fc8J5IaCDtWL-bDkwz-XOUFhnM,471
poussins/__main__.py,sha256=ifLcft_gUmzfdMBmYaoCNCz5cXU-y6W5nDRkuTsYkAg,79
poussins/ast/__init__.py,sha256=8KnvFukiKwFAxxRD-deeWS57WF91xy1_UDZ3kr1Y61s,838
poussins/ast/expr.py,sha256=hVVtsb0_KePvh2eOJuEU-c0SvYbVNbAGdjDiZPKZEaI,3030
poussins/ast/ops.py,sha256=0usYRjtIZU78kwPQ6n-dGWFfbKpoFwEwpzIQDbAggIc,6246
poussins/ast/universe.py,sha256=G-BtjP0deOvqkVYhSNqDBN2PpagUE3s-vy_f8RGaw34,1449
poussins/cli/__init__.py,sha256=R0tSegltktd9ILbd2_jeo9nbtxR8LcSHXa-E8TMJm64,239
poussins/cli/lean.py,sha256=ewkPazXYhXPRsSjkOeXgU9AO3lFyRZBB7wlQaGZIJTg,510
poussins/cli/main.py,sha256=6yrM3GZuDIYt734yuWVzNLgwGe2lJ6JC0rvOjeudMIk,1742
poussins/cli/prove.py,sha256=Vdx-LKYuCgEplBAsxshLrAzaNMZMB0GpTBZZ55hm54w,1066
poussins/cli/step.py,sha256=8MBgSbKCIJG7VCng-6HL9cgQ8a3ywGCa3ypC_4qrGS8,350
poussins/environment/__init__.py,sha256=rJKekN3v1EygCxY95uQPY3o6VW-sPKLk5-KtHgk7ieA,543
poussins/environment/declaration.py,sha256=HpnrxqqN0YNcJ1A4Qc_f4v1NK9dd5ZHCIi5owLq0Jvk,1643
poussins/environment/environment.py,sha256=4gJEh9L9_4NDoQnKaFDq5PDDHruye1EReFI_HrzCZAE,2680
poussins/environment/library/__init__.py,sha256=h2-QzMH5kp6OpwyYKddIEw4ObMLn0YYGAaTD-neNDdY,319
poussins/environment/library/bool.py,sha256=s3o1SpbIqyUj3Cc65rKVeorBhBm0jZ4Ou-ZR-_b_eUI,2200
poussins/environment/library/equality.py,sha256=FK_vLo0GMEVo0BoSTd5PRdT5jDUkwMbb0Ye7lKY7fFA,2373
poussins/environment/library/logic.py,sha256=uNOOj7Y5rHwtFwDeXwkpvpafgDsXmrR3de6nl-qs6DA,6452
poussins/environment/library/nat.py,sha256=71jLPMzyV8za5YuuEQNlRDdpsbNcZZDlj-jX3eNd48g,2480
poussins/environment/library/sort.py,sha256=pDd4qee4fnOIm5VuF5KvN2dvZNpHl0vKPw6GmESKPOg,433
poussins/errors/__init__.py,sha256=NV_VeLSHhaQ-l96biDA5dqpGp6gJURdm4-rNg5m0MYY,375
poussins/errors/framework_error.py,sha256=yFdWnEdEkfdqzUg-i9W-w_YiCyRXBfeDs7lRnHqCLpQ,177
poussins/errors/kernel_error.py,sha256=NyVlSTgIon8eJdHlr06r_HENLylc8rFw-BmnRopp050,420
poussins/errors/proof_error.py,sha256=g5-Cf5RQUi0zFMcoX29DsWgXoKG3ErXSO01J8FZYRuE,140
poussins/errors/tactic_error.py,sha256=A9TceTxKga4mvWYG9uCz-yBNz3lzGDMdRkIMEDwXA6U,153
poussins/framework/__init__.py,sha256=xyTMc6LEFDSEg_5tlU45no0Nk2uHwEwmFKf1upwQkMw,594
poussins/framework/axiom.py,sha256=y6aqLHKuOHGPXkoDCjcB2jQ--01sGCScagdeheYacko,1411
poussins/framework/bool.py,sha256=7Csf1-ONYRtSnfBPzB4zWdVixeZlNHwFP6VzEB77MEk,977
poussins/framework/inductive_type.py,sha256=vSrUlFenfS4eSPhsLO5JLqEZ7vELrwxZoWBX3af35AA,1985
poussins/framework/nat.py,sha256=KF031Llr8iX2ZIocuIcWPsiro0bPOzBRZQkPEFsCYpQ,1388
poussins/framework/proof_script.py,sha256=2kLuEk5caCqQxZTEGyShPrWPjmELChlMgvkXUgtUXhk,7243
poussins/framework/prop.py,sha256=KSf5L5kxaR7X6Qyoxt3ifkgzffAxHe7m2zPzSoO1tzI,6120
poussins/framework/theorem.py,sha256=62x6sJ0G8s0f--PGQGSH571nqpb4oLynPj1uHNYfDU8,3746
poussins/kernel/__init__.py,sha256=ixtZCsNnDa2_jUI6H9NNAmq_ORfF48_IFchxFRh5yTo,624
poussins/kernel/equality.py,sha256=YVdY0ABz41H9ZKdIxsAiI9MadjKAwQXUP02AdAoLr_g,6275
poussins/kernel/eval.py,sha256=JSmBtBD3g55TRQgjvHyVMGxSZR_h6A59NdmV9Bhreqo,2163
poussins/kernel/goal.py,sha256=SkrL9BWBzGBZ1VMed98gRzThm3dpBcZ7FYs8Ug-mE6s,3086
poussins/kernel/proof_engine.py,sha256=l0FS1bIz_Uo_lknuDhpKiFMVRa7i0L7cudeVDoF6H5Y,7449
poussins/kernel/proof_manager.py,sha256=RrhMDyyMxz1g8UC_k01uHhTDBbBO4LA3vF6qf5fCoEo,3113
poussins/kernel/proof_session.py,sha256=l4Z7jtlhzMmn7AY9N_2IGA1CGDRMIQJ6TsNj3x0Mbgk,1464
poussins/kernel/proof_state.py,sha256=tJCRMFAIyoIJWlyrg0vB9QKMS_W_HEnE9Lida2Z0f1c,1040
poussins/kernel/typecheck.py,sha256=9jk1H9fazwzxoX2_gvIzIPWzeDgSbOZTuqQ5S_RLPdU,5857
poussins/kernel/unification.py,sha256=JWe6QNqpdlROsyK1mhxK8AV6GTTHGg1R5NUHeYYCcP0,4948
poussins/kernel/univ.py,sha256=WCuRsa7EPHprq66k1KUCXODR1iKpgpmlGdDH3xeuzAA,5487
poussins/tactics/__init__.py,sha256=PD-fu_ma8-nFDQ0tR5iEUCcla0ceFPOtKDGHiTARr0A,838
poussins/tactics/apply.py,sha256=eN3DPWSv6t51WUPh8Aj_qivfO8t2nKYiawEa5FTEvzY,1466
poussins/tactics/cases.py,sha256=O1JzaIx7pIcwsHoPzVuNcpQ9yOpu6wIyF51v4yHafB4,9318
poussins/tactics/change.py,sha256=9_QiZ7qTaqGLgo7O9GMKCIhqxOcIA_jlYnEuCdhhlMQ,561
poussins/tactics/constructor.py,sha256=aBhRwuiP1z2phV6VMSm1zNTTuKND3NT_Dq1rsw9yIvM,6450
poussins/tactics/exact.py,sha256=SwPHfJAa8CB0tmF6fOONkNDcw37pn0rQxmnfC9vOJSs,998
poussins/tactics/have.py,sha256=fZ0iBELulMMVi2QW4HN8pw7T8lpsV4QllGRimNWcrxk,1787
poussins/tactics/helpers.py,sha256=CUs5Sz0gHtf11mxaLE1lfDbEUU56eiwPLKUroJeJ2Ko,3342
poussins/tactics/induction.py,sha256=kDVfMQvM4udJmiU9radMCGzWbbIvVDG3zwh8oYYxMr8,5080
poussins/tactics/intro.py,sha256=Ae4DPreq5LS0RtbId1nUD1hkdh1rrDY-Iz_mb6el4dg,1764
poussins/tactics/logic.py,sha256=KBExuSa8w_g5TgBuIVS9YE0JbTB0VeywlB9s9zDQaFU,1367
poussins/tactics/refine.py,sha256=ZXTJITaKqhlcq79LK79rgQ2knBI36YkL_PMjdGjzV6E,1479
poussins/tactics/reflexivity.py,sha256=Fj3O9Xc9UYXMMhoQ323omZ-F_wWMwkU1UYD0JlKZ5eM,1529
poussins/tactics/revert.py,sha256=CALPt_C2ioqsoQkglnl9W4AH7sHUB2U7FI0tNBPCP6w,1814
poussins/tactics/rewrite.py,sha256=Jp6E0qCBxiRwYzRh1UiKA6KN_tVOEpflWUGtwariIYE,3997
poussins/tactics/specialize.py,sha256=gpwPNAwTmYJiOXnBjQKSNH-4CwCqTXV4tkXdSlzndd8,1709
poussins/tactics/suffices.py,sha256=90BTxIWY6nTT2ed6JmEpEhqfi2mjNd4zcY3t7-YaG7I,1723
poussins/utils/__init__.py,sha256=prPfbgOQ17PobwRXUVd_3kALADy36M8fDlKuKGZne0M,59
poussins/utils/logging.py,sha256=swdX9jmZbFFvD6v4jscM8Vssos9QBov8mlbK3726sk8,719
poussins-0.2.1.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
poussins-0.2.1.dist-info/WHEEL,sha256=a0ta4TK7UKMB0EbDesmi2mn0Djkly7aj_7Tu2R7SseE,81
poussins-0.2.1.dist-info/METADATA,sha256=clf1_XPYKFm33vy3qbd5IhFm-W0uU-iHUk2Rj4gBOhw,1803
poussins-0.2.1.dist-info/RECORD,,
