poussins/__init__.py,sha256=lXYnoR34y1jeS_1vyWivpig22tdEKfx05dPk8S383BQ,474
poussins/__main__.py,sha256=BM7qF5_h2WCxuyjjIIvzvs0teXiFQ-8df483guTE2Aw,90
poussins/ast/__init__.py,sha256=b3yphFPVWDOLrbrz53Bx0iaYNDb9ze50WNTvMxIl6FA,793
poussins/ast/expr.py,sha256=d2JFJ8dG6QNgDNy6QrC93gAdZ7XoiNKsud7qHIyVxSw,3018
poussins/ast/ops.py,sha256=t0mEm5leUS__xtrqOdSCtFbS1E3Hs3YIkRSVTComShw,6528
poussins/ast/universe.py,sha256=ES7nD_nWOYBUrRiiXXA5FNJiTYq2YriPXB9Hg0tqq08,1232
poussins/cli/__init__.py,sha256=_nV5REUpRRSn1NQyRS4hWdrP_A0H--R9FJzfbTvCdiQ,242
poussins/cli/lean.py,sha256=YQYsZA2sPSUGb87Irji_sIMcA5IWpH4Zo03mRBy7zMg,435
poussins/cli/logger.py,sha256=oUEayCGAjpchkJyE8kL3ELMo-fUXPCpZvmA-zEOZcEw,51
poussins/cli/main.py,sha256=lyjtoF13jclagSHq-LWJswVaMLpVY-HlAkRhSfODd0w,1673
poussins/cli/prove.py,sha256=LukV8jVmTdk9J00GTh97p7aKbnNnVpOS-ZFTA9JWzWc,787
poussins/cli/step.py,sha256=YoNqfs8NIJCztcjFbXW-N8jC-j66-NKWvMxJ61LgHLM,301
poussins/environment/__init__.py,sha256=-k3eiBAXyxL7g7Zpd_lluhQTMdDVBJW0JD64M_VPt_w,369
poussins/environment/declaration.py,sha256=YxUoePNsfa_hWs42E5X5HsBrWLVU9y4yyuKvkZfFaTk,1493
poussins/environment/environment.py,sha256=H-nyeR7Q4MtrnbGX0caVeC3BluayT5-Dr1MbULPH4pY,10202
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=ow11pPGwIENL4NMJ3rkno1rlvkzoj8VA7Vn8W17SPcY,145
poussins/framework/bool.py,sha256=2S_sN7cNDJcb1mbQPN5H0ljck_cFvFm0pIHwA6IOT_g,932
poussins/framework/inductive_type.py,sha256=LnRLhKRUqFDQFYNXFqSetgojASdEqj2bMUC5V_OxNs4,1853
poussins/framework/nat.py,sha256=DwCbn20LKg9jp_BFsso_vYX6oGO-7Ksumwzqp5qSFYs,982
poussins/framework/proof_script.py,sha256=YdeD8RdYVCDyaYOs4ob5iUNlcWTpBtHEipkl6WtjeIo,4106
poussins/framework/prop.py,sha256=-UQ6df7WEM_Md5azZ9ECEIUOgqLgw92P2RDX8jJ6qHE,9282
poussins/framework/theorem.py,sha256=s2MIODqlf8tykxF5ofvwvI3IbOYvPbmnMDoAPJL8Ukg,3025
poussins/kernel/__init__.py,sha256=1QwGZFuuZ8tSEijQpdvdJ3W_ltU66T-kLH4mV_f5N8Q,569
poussins/kernel/goal.py,sha256=fTwBbBZpJ0Etnoj4hiMWOqkxvzHr3dOSNg_QMh3ZFjU,2796
poussins/kernel/proof_engine.py,sha256=AuoyBnLbOHuHUl13KTDHhhLbMfvMs7yQhzuRN2QN-w8,7860
poussins/kernel/proof_manager.py,sha256=JmjXw5Ad_jbPfzubjdRhb4iLSKtE6ymUXtAjUQ1PXh4,3207
poussins/kernel/proof_session.py,sha256=yEJZ3AkqnBsSDG1aGBjfyT1j78Hp3LkYMtfQdNQDeww,1707
poussins/kernel/proof_state.py,sha256=S3lphw2VJir5KtF-fE2P_3M4tNGSHeiAYOoYl4y7Im4,1130
poussins/kernel/typecheck.py,sha256=L4HgVpBPqLqkD_KVs625pDqfrHB9SlnNQt-dGgxg-ds,13270
poussins/tactics/__init__.py,sha256=8ZrvjwpCQa9SLWxylIhJH27oppfJFeZ38hToypuGPog,493
poussins/tactics/apply.py,sha256=rsLiO1-KMNqZBVVtUA13-KdCE9bmF0qU0bMo6582PEI,1928
poussins/tactics/cases.py,sha256=D0Qx8KKt_cec_yrQn1FTTv6q0CnLCr1V9je1zaThbhA,8870
poussins/tactics/change.py,sha256=hpP3DBTVzfFiCd4IpnWy2lC-6mNsRNjRQcCsNM1J2RI,834
poussins/tactics/constructor.py,sha256=EljkirxbknOz8vT1koePUB9IyOvt1PtkdyqgPK4IIuk,6754
poussins/tactics/exact.py,sha256=nZ7hg98BiRkf8ugEfI_xvgYJkv3_skpvCKTW-fPYWA0,1371
poussins/tactics/induction.py,sha256=J5SHS0LDZFLu8-fcOfILEcHpBpNQJHBuj8D46ACrdgw,5297
poussins/tactics/intro.py,sha256=iKp-5apTj_jzjASUleFVtV1ETNbt34fpVMR7ro6gl6I,2022
poussins/tactics/logic.py,sha256=4mDW7IWArkcbXiygiq7wFvOHKNb3ezGC_57diToCcPY,897
poussins-0.0.5.dist-info/WHEEL,sha256=f5fWSvWsg5Knq5GWa6t1nJIug0Tqo69GqAWD_9LbBKw,81
poussins-0.0.5.dist-info/METADATA,sha256=CDdnsQZ3w2VOtOwddrCyU3WqfOGVrLJ2P66zlvCVOb8,733
poussins-0.0.5.dist-info/RECORD,,
