poussins/__init__.py,sha256=BvRmDtRGWyqeEqMBfctFpAAcn0WGlfulSyB3eVGksp0,77
poussins/__main__.py,sha256=ulGrntZGy9addSGevPpm7t6BVT9PdDHyAsN4lKiAurA,148
poussins/ast/__init__.py,sha256=JrzaD339hK7CNPeoS9U6n4Jh_lH8ca8IX1IA8yYJzJM,748
poussins/ast/formulas.py,sha256=IHZgsrFfFfLZjVjF9FBoKCjEEuNO1nWjLuTDej7m88g,1722
poussins/ast/proof_terms.py,sha256=jLrtK2AaKRkAllWmclJtIa_ctFR-LTNbFbKj811IU-4,5822
poussins/cli/__init__.py,sha256=zVUBBKlD3MTG7UIpuZmXekS_kXNT86Ge1qasOjAWjJE,207
poussins/cli/batch.py,sha256=24GrML-CEbGFSJEL-lLfbb5sNy3LGnvkSPFlAgmbX4g,766
poussins/cli/lean.py,sha256=UADTP4JYm8eKiS0OReQA91cIa5Xl5_ZW-SilvDyKRvc,431
poussins/cli/main.py,sha256=iuBSRF1ZS4c7IFZGDdSHBR3kfZbiYZYT81T2NV8MK7E,1591
poussins/cli/step.py,sha256=lkcyVYV0mUcs3woaQZuxBnSihrD-1SL1zLkIZHEmq9k,299
poussins/dsl/__init__.py,sha256=zw-Kh_gFESutNj4LJyaQRO6CSprgbDEcMmPqJxp67x8,408
poussins/dsl/axiom.py,sha256=ByyUi_Oj--yQpn6iEyahF_2NEWOBdVl7rFzqmNPmpGc,665
poussins/dsl/proof_base.py,sha256=sn6sLAyq7JGAa1gDas9KbILMV-f1N4Dql12yaMENqsE,2157
poussins/dsl/prop.py,sha256=IZDRGTn7HmzPi7utch_iy2lsxttxUiHCuCgdAsPg-k0,3454
poussins/dsl/theorem.py,sha256=yrQ2LnvMswCAXHl8db3boAMHQHeAJiRDXN1uAYyhWGs,2707
poussins/environment/__init__.py,sha256=bBeSyZJIAXQoEFYmLnX1LSGEWgFVyBvpMBXNdhT2Vrs,23
poussins/errors/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
poussins/kernel/__init__.py,sha256=5z-Arxhi00PLp-FtZaFPwx_F7upESRb269U4a_DMQdg,175
poussins/kernel/goal.py,sha256=HIuaEEhQMJGEJSl19AljOLXze2AzSOvsjRTnXfcVY0Q,1250
poussins/kernel/proof_engine.py,sha256=3wtJBB67vl4yUFKT0rX4UN7MwVXiTdlwhsiWW-5PaP4,4188
poussins/kernel/proof_state.py,sha256=ZCl9cVRtd91CQXsvwxjOAnHA96jbU-rfBxeIOI6fGL0,425
poussins/tactics/__init__.py,sha256=IIFmC9zBnRW_8LNFDBckzY193UrkO297FRlU6aJW3Mc,124
poussins/tactics/derived.py,sha256=MIoPiHwFMtBQa3QjF3CVxfyfJOEHPwjxxLd2SQ6zBK8,8
poussins/tactics/primitive.py,sha256=XbbHEbZd2r6IFK5NVDwl5_ngXkT1J_kwBx2ix8CByXY,3141
poussins-0.0.1.dist-info/WHEEL,sha256=f5fWSvWsg5Knq5GWa6t1nJIug0Tqo69GqAWD_9LbBKw,81
poussins-0.0.1.dist-info/METADATA,sha256=NKQtm9FN_cW9FbykmG4zlDZwwIC2FBI2SMh_G6MOFw0,292
poussins-0.0.1.dist-info/RECORD,,
